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 toinstantiate
a
module,interpret
named functions on that instance, andexport
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 newinstantiate
-interpret
-export
API from the
wasm-spec-interpreter
crate.
abrown requested alexcrichton for a review on PR #4881.
abrown updated PR #4881 from improve-spec-interpreter
to main
.
abrown updated PR #4881 from improve-spec-interpreter
to main
.
abrown has marked PR #4881 as ready for review.
alexcrichton submitted PR review.
abrown updated PR #4881 from improve-spec-interpreter
to main
.
abrown updated PR #4881 from improve-spec-interpreter
to main
.
abrown merged PR #4881.
Last updated: Dec 23 2024 at 12:05 UTC