Skip to content

v0.1.77: Optional table indices (#667)

Compare
Choose a tag to compare
@github-actions github-actions released this 05 Jul 16:27
a3a8600
* Allow all optional table indices

https://webassembly.github.io/spec/core/text/instructions.html#id1

* Update wasm tests submodule.

The `tokens.wast` test is tracked in #662.

* Set Version: 0.1.76

* Set Version: 0.1.77

---------

Co-authored-by: devops <devops@runtimeverification.com>
Co-authored-by: rv-jenkins <admin@runtimeverification.com>