Skip to content

Releases: runtimeverification/wasm-semantics

v0.1.156: Update dependency: deps/k_release (#763)

Choose a tag to compare

@github-actions github-actions released this 31 May 14:23
194cccd
* 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)

Choose a tag to compare

@github-actions github-actions released this 21 May 19:20
bd5cbe7
* 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)

Choose a tag to compare

@github-actions github-actions released this 12 May 18:47
8701ee2
* 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)

Choose a tag to compare

@github-actions github-actions released this 10 May 23:59
6fecaa4
* 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)

Choose a tag to compare

@github-actions github-actions released this 08 May 18:02
5c6510f
* 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)

Choose a tag to compare

@github-actions github-actions released this 29 Apr 13:59
b66db69
* 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)

Choose a tag to compare

@github-actions github-actions released this 15 Apr 14:50
5ce9140
* 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

Choose a tag to compare

@github-actions github-actions released this 09 Apr 08:28
8d9ba33
Annotate Wasm AST nodes (`Instr`s) with bytecode position metadata fo…

v0.1.148: Remove Gitcoin Grant support section from README (#750)

Choose a tag to compare

@github-actions github-actions released this 24 Mar 18:26
4374213
* 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)

Choose a tag to compare

@github-actions github-actions released this 23 Mar 13:39
9a33c05
* 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>