Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

wmemcheck: update docs. #6856

Merged
merged 2 commits into from
Aug 17, 2023
Merged

Conversation

cfallin
Copy link
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