Skip to content

wmemcheck: update docs.#6856

Merged
cfallin merged 2 commits into
bytecodealliance:mainfrom
cfallin:wmemcheck-docs
Aug 17, 2023
Merged

wmemcheck: update docs.#6856
cfallin merged 2 commits into
bytecodealliance:mainfrom
cfallin:wmemcheck-docs

Conversation

@cfallin
Copy link
Copy Markdown
Member

@cfallin cfallin commented Aug 17, 2023

This PR expands the documentation for the Wasm memchecker (wmemcheck) feature significantly, and also links it from the top-level documentation hierarchy.

Thanks to folks in the Wasmtime biweekly for pointing out this omission and @abrown for noting that the docs should include example of outputs/error messages.

This PR expands the documentation for the Wasm memchecker (`wmemcheck`)
feature significantly, and also links it from the top-level
documentation hierarchy.
@cfallin cfallin requested a review from a team as a code owner August 17, 2023 16:37
@cfallin cfallin requested review from pchickey and removed request for a team August 17, 2023 16:37
@cfallin cfallin enabled auto-merge August 17, 2023 16:55
@cfallin cfallin added this pull request to the merge queue Aug 17, 2023
@github-merge-queue github-merge-queue Bot removed this pull request from the merge queue due to failed status checks Aug 17, 2023
@cfallin cfallin enabled auto-merge August 17, 2023 17:12
@cfallin cfallin added this pull request to the merge queue Aug 17, 2023
Merged via the queue into bytecodealliance:main with commit 4799ea1 Aug 17, 2023
@cfallin cfallin deleted the wmemcheck-docs branch August 17, 2023 18:26
eduardomourar pushed a commit to eduardomourar/wasmtime that referenced this pull request Aug 18, 2023
* wmemcheck: update docs.

This PR expands the documentation for the Wasm memchecker (`wmemcheck`)
feature significantly, and also links it from the top-level
documentation hierarchy.

* Add syntax/language annotations to quotation sections to keep mdbook happy.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants