Releases: runtimeverification/wasm-semantics
Releases · runtimeverification/wasm-semantics
v0.1.141: Update dependency: deps/pyproject-build-systems (#741)
* 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)
* 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)
* 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)
* 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)
* 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)
* 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)
* 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)
* 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)
* 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)
* `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]>