Stream: git-wasmtime

Topic: wasmtime / PR #9014 Get Pulley tests passing under MIRI; ...


view this post on Zulip Wasmtime GitHub notifications bot (Jul 25 2024 at 22:59):

fitzgen opened PR #9014 from fitzgen:pulley-miri to bytecodealliance:main:

<!--
Please make sure you include the following information:

Our development process is documented in the Wasmtime book:
https://docs.wasmtime.dev/contributing-development-process.html

Please ensure all communication follows the code of conduct:
https://github.com/bytecodealliance/wasmtime/blob/main/CODE_OF_CONDUCT.md
-->

view this post on Zulip Wasmtime GitHub notifications bot (Jul 25 2024 at 22:59):

fitzgen requested wasmtime-default-reviewers for a review on PR #9014.

view this post on Zulip Wasmtime GitHub notifications bot (Jul 25 2024 at 22:59):

fitzgen requested cfallin for a review on PR #9014.

view this post on Zulip Wasmtime GitHub notifications bot (Jul 25 2024 at 23:15):

cfallin submitted PR review:

LGTM; I don't pretend to be an expert in Rust's pointer provenance model, but miri certainly is, and if miri is happy then so am I!

view this post on Zulip Wasmtime GitHub notifications bot (Jul 25 2024 at 23:19):

fitzgen commented on PR #9014:

I don't pretend to be an expert in Rust's pointer provenance model, but miri certainly is, and if miri is happy then so am I!

same!

thanks

view this post on Zulip Wasmtime GitHub notifications bot (Jul 25 2024 at 23:34):

fitzgen updated PR #9014.

view this post on Zulip Wasmtime GitHub notifications bot (Jul 25 2024 at 23:35):

fitzgen has enabled auto merge for PR #9014.

view this post on Zulip Wasmtime GitHub notifications bot (Jul 25 2024 at 23:57):

fitzgen merged PR #9014.


Last updated: Dec 23 2024 at 12:05 UTC