Releases: runtimeverification/skribe
Releases · runtimeverification/skribe
v0.1.11: Fix version in `uv.lock` (#22)
* Fix version in `uv.lock` * Set Version: 0.1.11 --------- Co-authored-by: devops <devops@runtimeverification.com>
v0.1.10: Migrate from `poetry` to `uv` (#19)
* Migrate from `poetry` to `uv` * add python build tool dependencies to nix derivation * finish nix derivation of `skribe-simulation` * add skribe nix derivation with rust in passthrough * make `uv2nix` and `pyproject-build-tools` updatable by CI * add smoke test for nix derivation * add `rv-nix-tools` to `deps/` * add branches to push events in `update.yaml` * Set Version: 0.1.10 --------- Co-authored-by: Julian Kuners <julian.kuners@gmail.com> Co-authored-by: devops <devops@runtimeverification.com>
v0.1.9: Update dependency: deps/kwasm_release (#20)
* deps/kwasm_release: Set Version 0.1.128 * Set Version: 0.1.8 * Sync Poetry files 0.1.128 * deps/k_release: sync release file version 7.1.257 * Sync Poetry files 0.1.128 * deps/kwasm_release: Set Version 0.1.129 * Set Version: 0.1.9 * Sync Poetry files 0.1.129 --------- Co-authored-by: devops <devops@runtimeverification.com> Co-authored-by: Burak Bilge Yalçınkaya <bbyalcinkaya@gmail.com>
v0.1.8: Update dependency: deps/kwasm_release (#15)
* deps/kwasm_release: Set Version 0.1.128 * Set Version: 0.1.8 * Sync Poetry files 0.1.128 * deps/k_release: sync release file version 7.1.257 * Sync Poetry files 0.1.128 --------- Co-authored-by: devops <devops@runtimeverification.com> Co-authored-by: Burak Bilge Yalçınkaya <bbyalcinkaya@gmail.com>
v0.1.7: Update dependency: deps/k_release (#14)
* deps/k_release: Set Version 7.1.254 * Set Version: 0.1.6 * deps/k_release: Set Version 7.1.255 * Set Version: 0.1.7 * deps/k_release: Set Version 7.1.256 * deps/k_release: Set Version 7.1.257 --------- Co-authored-by: devops <devops@runtimeverification.com>
v0.1.6: Implement contract calls and basic host functions (#7)
* contract calls and basic host functions * add TODO comment * new config cells * implement output checks * implement host functions for the counter contract * Set Version: 0.1.4 * format and fix code quality checks on CI * add simulation integration tests * reset `<stylus-output>` at `callStylus` * add wast test for `storage_load_bytes32` * add wast test `storage_set_and_get.wast` * more wast tests * add comments to wast tests * add the counter test as submodule * add comments and update README.md * Dockerfile: add rust toolchain * add test dependencies * fetch submodules * upgrade rustc version * Set Version: 0.1.6 * update lock file --------- Co-authored-by: devops <devops@runtimeverification.com>
v0.1.5: Update dependency: deps/k_release (#12)
* deps/k_release: Set Version 7.1.249 * Set Version: 0.1.4 * deps/k_release: Set Version 7.1.251 * Set Version: 0.1.5 * deps/k_release: Set Version 7.1.252 * deps/k_release: Set Version 7.1.253 --------- Co-authored-by: devops <devops@runtimeverification.com>
v0.1.4: Update dependency: deps/k_release (#11)
* deps/k_release: Set Version 7.1.249 * Set Version: 0.1.4 --------- Co-authored-by: devops <devops@runtimeverification.com>
v0.1.3: Update dependency: deps/kwasm_release (#6)
* deps/kwasm_release: Set Version 0.1.123 * Set Version: 0.1.2 * Sync Poetry files 0.1.123 * deps/k_release: sync release file version 7.1.229 * flake.{nix,lock}: update Nix derivations * deps/kwasm_release: Set Version 0.1.124 * Set Version: 0.1.3 * Sync Poetry files 0.1.124 * deps/k_release: sync release file version 7.1.230 --------- Co-authored-by: devops <devops@runtimeverification.com> Co-authored-by: Burak Bilge Yalçınkaya <bbyalcinkaya@gmail.com>
v0.1.2: Update dependency: deps/kwasm_release (#3)
* deps/kwasm_release: Set Version 0.1.123 * Set Version: 0.1.2 * Sync Poetry files 0.1.123 * deps/k_release: sync release file version 7.1.229 * flake.{nix,lock}: update Nix derivations --------- Co-authored-by: devops <devops@runtimeverification.com> Co-authored-by: Burak Bilge Yalçınkaya <bbyalcinkaya@gmail.com>