Stream: git-wasmtime

Topic: wasmtime / issue #1138 Generate machine-readable descript...

view this post on Zulip Wasmtime GitHub notifications bot (Jun 04 2026 at 16:54):

fitzgen closed issue #1138:

If we generated machine-readable descriptions of the IR / legalizations (using information already available in the meta-crate), we could then feed it to external programs who could reason about Cranelift's IR. Use cases could be (non-exhaustive list): making formal proofs that legalizations are correct; creating fuzz test cases that would always be valid and type-check; etc.

view this post on Zulip Wasmtime GitHub notifications bot (Jun 04 2026 at 16:54):

fitzgen commented on issue #1138:

Complete-ish with the recent verification efforts and ISLE.

Last updated: Jul 29 2026 at 05:03 UTC