Skip to content

Releases: runtimeverification/wasm-semantics

v0.1.141: Update dependency: deps/pyproject-build-systems (#741)

14 Nov 19:24
91637f9

Choose a tag to compare

* deps/pyproject-build-systems: Set Version 795a980d25301e5133eca37adae37283ec3c8e66

* Set Version: 0.1.140

* pykwasm/: sync uv files 7.1.288

* flake.{nix,lock}: update Nix derivations

* Set Version: 0.1.141

* pykwasm/: sync uv files 7.1.288

---------

Co-authored-by: devops <[email protected]>
Co-authored-by: Julian Kuners <[email protected]>

v0.1.140: Update dependency: deps/uv2nix (#740)

14 Nov 19:01
430c36c

Choose a tag to compare

* deps/uv2nix: Set Version c8cf711802cb00b2e05d5c54d3486fce7bfc8f7c

* Set Version: 0.1.140

* Sync uv version: uv 0.9.9

* pykwasm/: sync uv files 7.1.288

* flake.{nix,lock}: update Nix derivations

---------

Co-authored-by: devops <[email protected]>

v0.1.139: Update dependency: deps/uv2nix (#739)

14 Oct 16:28
80ec36a

Choose a tag to compare

* deps/uv2nix: Set Version b6ed0901aec29583532abe65117b18d86a49b617

* Set Version: 0.1.138

* Sync uv version: uv 0.9.2

* pykwasm/: sync uv files 7.1.288

* flake.{nix,lock}: update Nix derivations

* Set Version: 0.1.139

* pykwasm/: sync uv files 7.1.288

---------

Co-authored-by: devops <[email protected]>
Co-authored-by: Julian Kuners <[email protected]>

v0.1.138: Drop IOHK sbstituters (#738)

14 Oct 12:59
4539d39

Choose a tag to compare

* Drop IOHK sbstituters

- Causes errors in WFs executions, don't need this

* Set Version: 0.1.138

---------

Co-authored-by: devops <[email protected]>

v0.1.137: Update dependency: deps/pyproject-build-systems (#737)

03 Oct 17:01
8f0ab87

Choose a tag to compare

* deps/pyproject-build-systems: Set Version dbfc0483b5952c6b86e36f8b3afeb9dde30ea4b5

* Set Version: 0.1.136

* pykwasm/: sync uv files 7.1.288

* flake.{nix,lock}: update Nix derivations

* Set Version: 0.1.137

* pykwasm/: sync uv files 7.1.288

---------

Co-authored-by: devops <[email protected]>
Co-authored-by: Julian Kuners <[email protected]>

v0.1.136: Update dependency: deps/uv2nix (#736)

03 Oct 14:02
6ba262c

Choose a tag to compare

* deps/uv2nix: Set Version be511633027f67beee87ab499f7b16d0a2f7eceb

* Set Version: 0.1.136

* Sync uv version: uv 0.8.22

* pykwasm/: sync uv files 7.1.288

* flake.{nix,lock}: update Nix derivations

* introduce `nixpkgs-unstable` temporarily for `uv2nix`

---------

Co-authored-by: devops <[email protected]>
Co-authored-by: Julian Kuners <[email protected]>

v0.1.135: Update dependency: deps/k_release (#734)

26 Sep 11:01
d8e5562

Choose a tag to compare

* deps/k_release: Set Version 7.1.288

* Set Version: 0.1.135

* pykwasm/: sync uv files 7.1.288

* flake.{nix,lock}: update Nix derivations

* update `flake.lock`

* flake.{nix,lock}: update Nix derivations

* update nix in CI workflow `update-version.yml`

* update nix in CI workflow `master-push.yml`

* pykwasm/: sync uv files 7.1.288

* flake.{nix,lock}: update Nix derivations

---------

Co-authored-by: devops <[email protected]>
Co-authored-by: Burak Bilge Yalcinkaya <[email protected]>
Co-authored-by: Julian Kuners <[email protected]>

v0.1.134: Update dependency: deps/k_release (#730)

16 Sep 08:29
82e597d

Choose a tag to compare

* deps/k_release: Set Version 7.1.270

* Set Version: 0.1.131

* deps/k_release: Set Version 7.1.271

* deps/k_release: Set Version 7.1.272

* deps/k_release: Set Version 7.1.273

* deps/k_release: Set Version 7.1.274

* deps/k_release: Set Version 7.1.275

* deps/k_release: Set Version 7.1.276

* deps/k_release: Set Version 7.1.277

* deps/k_release: Set Version 7.1.278

* deps/k_release: Set Version 7.1.280

* fix non-existent follow from `k-framework/poetry2nix` for `poetry2nix`

* Set Version: 0.1.133

* pykwasm/: sync poetry files 7.1.280

* flake.{nix,lock}: update Nix derivations

* deps/k_release: Set Version 7.1.286

* pykwasm/: sync poetry files 7.1.286

* flake.{nix,lock}: update Nix derivations

* Set Version: 0.1.134

* fix uv lock update

* Sync uv version: uv 0.7.2

* pykwasm/: sync uv files 7.1.286

* flake.{nix,lock}: update Nix derivations

---------

Co-authored-by: devops <[email protected]>
Co-authored-by: Burak Bilge Yalçınkaya <[email protected]>

v0.1.133: Migrate from `poetry` to `uv` (#733)

16 Sep 04:43
0534d02

Choose a tag to compare

* cruft update + resolve conflicts in pyproject.toml manually

* remove poetry.lock, create uv.lock

* Makefile: poetry to uv

* update `Dockerfile`

* Update `test-pr.yml`

* Set Version: 0.1.133

* Fix `Dockerfile`

* move `pykwasm/nix` to `nix`, delete `pykwasm/flake.nix`

* `flake.nix`: poetry to uv

* refactor and fix nix derivation

* remove old nix patches

* adapt `uv.lock` to match nix & CU uv version

* update `uv2nix` and `pyproject-build-systems` in CI

* `update-version.yml`: fix kframework update command

* `Makefile`: use `uv --project <PROJECT>` option

* fix kframework update command: `==` => `>=`

---------

Co-authored-by: devops <[email protected]>
Co-authored-by: Julian Kuners <[email protected]>

v0.1.132: Rename `data.md` to prevent conflicts with KEVM (#732)

29 Jul 10:37
18f6588

Choose a tag to compare

* `data` => `wasm-data`

* Set Version: 0.1.132

* change references to data.md

* README.md: fix broken links to source files

---------

Co-authored-by: devops <[email protected]>