search

Wasm-DSL / spectec

Wasm SpecTec specification tools
https://wasm-dsl.github.io/spectec/
Other
27 stars 9 forks source link

Fix spec #50

Closed f52985 closed 11 months ago

f52985 commented 11 months ago

This PR fixes spec for Wasm 1 and 2, especially regarding module instantiation and call_indirect.