Releases: runtimeverification/py-wasm
Releases · runtimeverification/py-wasm
0.3.1
0.3.0: Wrap instructions with position info for tracing
This release introduces a helper instruction wrapper (InstructionWithPos) to attach source position metadata to parsed Wasm instructions
Use HTTPS submodule for Poetry compatibility
This is a minor release that fixes an issue where this repository could not be easily installed on GitHub hosted runners because of the SSH submodule; no actual code is affected.
Table and reference instructions
What's Changed
- Binary parser for table and reference instructions by @bbyalcinkaya in #4
Full Changelog: 0.1.1...0.2.0
0.1.1
What's Changed
- Binary parser by @bbyalcinkaya in #1
New Contributors
- @bbyalcinkaya made their first contribution in #1
Full Changelog: 0.1.0-alpha.0...0.1.1
0.1.0-alpha.0
Initial version