Releases: runtimeverification/wasm-semantics
Releases · runtimeverification/wasm-semantics
v0.1.156: Update dependency: deps/k_release (#763)
* deps/k_release: Set Version 7.1.324
* Set Version: 0.1.156
* pykwasm/: sync uv files 7.1.324
* flake.{nix,lock}: update Nix derivations
* deps/k_release: Set Version 7.1.325
* pykwasm/: sync uv files 7.1.325
* flake.{nix,lock}: update Nix derivations
* deps/k_release: Set Version 7.1.326
* deps/k_release: Set Version 7.1.327
* pykwasm/: sync uv files 7.1.327
* flake.{nix,lock}: update Nix derivations
* deps/k_release: Set Version v7.1.328
* deps/k_release: Set Version 7.1.328
* pykwasm/: sync uv files 7.1.328
* flake.{nix,lock}: update Nix derivations
* deps/k_release: Set Version 7.1.329
* pykwasm/: sync uv files 7.1.329
* flake.{nix,lock}: update Nix derivations
---------
Co-authored-by: devops <devops@runtimeverification.com>
v0.1.155: Update py-wasm dependency to 0.3.1 (#762)
* Update py-wasm: `0.3.0 = 0.3.1` * Set Version: 0.1.155 * update uv.lock --------- Co-authored-by: devops <devops@runtimeverification.com>
v0.1.154: Update dependency: deps/k_release (#760)
* deps/k_release: Set Version 7.1.323
* Set Version: 0.1.154
* pykwasm/: sync uv files 7.1.323
* flake.{nix,lock}: update Nix derivations
---------
Co-authored-by: devops <devops@runtimeverification.com>
v0.1.153: Update dependency: deps/k_release (#759)
* deps/k_release: Set Version 7.1.322
* Set Version: 0.1.153
* pykwasm/: sync uv files 7.1.322
* flake.{nix,lock}: update Nix derivations
---------
Co-authored-by: devops <devops@runtimeverification.com>
v0.1.152: Update dependency: deps/k_release (#758)
* deps/k_release: Set Version 7.1.321
* Set Version: 0.1.152
* pykwasm/: sync uv files 7.1.321
* flake.{nix,lock}: update Nix derivations
---------
Co-authored-by: devops <devops@runtimeverification.com>
v0.1.151: Update dependency: deps/k_release (#757)
* deps/k_release: Set Version 7.1.319
* Set Version: 0.1.151
* pykwasm/: sync uv files 7.1.319
* flake.{nix,lock}: update Nix derivations
---------
Co-authored-by: devops <devops@runtimeverification.com>
v0.1.150: Update dependency: deps/k_release (#756)
* deps/k_release: Set Version 7.1.318
* Set Version: 0.1.150
* pykwasm/: sync uv files 7.1.318
* flake.{nix,lock}: update Nix derivations
---------
Co-authored-by: devops <devops@runtimeverification.com>
v0.1.149
Annotate Wasm AST nodes (`Instr`s) with bytecode position metadata fo…
v0.1.148: Remove Gitcoin Grant support section from README (#750)
* Remove Gitcoin Grant support section from README Removed contribution link to Gitcoin Grant from README. * Set Version: 0.1.148 --------- Co-authored-by: devops <devops@runtimeverification.com>
v0.1.147: Add new HelperInstr sort (#748)
* wasm.md: add new HelperInstr sort * Set Version: 0.1.147 * Apply suggestions from code review Co-authored-by: Burak Bilge Yalçınkaya <bbyalcinkaya@gmail.com> --------- Co-authored-by: devops <devops@runtimeverification.com> Co-authored-by: Burak Bilge Yalçınkaya <bbyalcinkaya@gmail.com>