Stream: git-wasmtime

Topic: wasmtime / PR #4881 fuzz: improve the spec interpreter

view this post on Zulip Wasmtime GitHub notifications bot (Sep 07 2022 at 22:50):

abrown opened PR #4881 from improve-spec-interpreter to main:

These changes address key parts of #4852 by improving the bindings to
the OCaml spec interpreter. The new API allows users to instantiate a
module, interpret named functions on that instance, and export
globals and memories from that instance. This currently leaves the
existing implementation ("instantiate and interpret the first function in
a module") present under a new name: interpret_legacy.

This also removes the legacy uses in the differential spec engine, replacing
them with the new instantiate-interpret-export API from the
wasm-spec-interpreter crate.

view this post on Zulip Wasmtime GitHub notifications bot (Sep 07 2022 at 22:50):

abrown requested alexcrichton for a review on PR #4881.

view this post on Zulip Wasmtime GitHub notifications bot (Sep 07 2022 at 23:19):

abrown updated PR #4881 from improve-spec-interpreter to main.

view this post on Zulip Wasmtime GitHub notifications bot (Sep 08 2022 at 13:46):

abrown updated PR #4881 from improve-spec-interpreter to main.

view this post on Zulip Wasmtime GitHub notifications bot (Sep 08 2022 at 13:48):

abrown has marked PR #4881 as ready for review.

view this post on Zulip Wasmtime GitHub notifications bot (Sep 08 2022 at 13:58):

alexcrichton submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (Sep 08 2022 at 14:42):

abrown updated PR #4881 from improve-spec-interpreter to main.

view this post on Zulip Wasmtime GitHub notifications bot (Sep 12 2022 at 20:35):

abrown updated PR #4881 from improve-spec-interpreter to main.

view this post on Zulip Wasmtime GitHub notifications bot (Sep 12 2022 at 21:23):

abrown merged PR #4881.

Last updated: Dec 06 2025 at 06:05 UTC