Skip to content

Releases: runtimeverification/skribe

v0.1.11: Fix version in `uv.lock` (#22)

12 Jun 08:28
a790630
Compare
Choose a tag to compare
* 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)

10 Jun 18:46
44ae799
Compare
Choose a tag to compare
* 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)

10 Jun 11:42
9872d36
Compare
Choose a tag to compare
* 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)

29 May 10:28
00b2b6c
Compare
Choose a tag to compare
* 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)

20 May 22:03
1b5bc05
Compare
Choose a tag to compare
* 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)

15 May 09:23
e4b0771
Compare
Choose a tag to compare
* 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)

13 May 18:22
f707239
Compare
Choose a tag to compare
* 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)

07 May 00:20
8b989c5
Compare
Choose a tag to compare
* 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)

25 Mar 07:02
5e2954d
Compare
Choose a tag to compare
* 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)

21 Mar 12:01
a2fcf68
Compare
Choose a tag to compare
* 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>