v0.1.20

Separate binaries and kdist in nix derivation into different outputs …

v0.1.19: Expose `skribe` binary in Nix setup (#33)

* nix: install and expose `skribe` binary

* nix: add `skribe` binary smoke test

* Set Version: 0.1.19

---------

Co-authored-by: devops <devops@runtimeverification.com>

v0.1.18: Foundry support (#26)

* add simple foundry test

* import foundry semantics

* foundry integration

* Set Version: 0.1.15

* Fix python <3.12 incompatibility

* Exclude python submodule from lint checks

* Include Foundry success predicate in test setup

* exclude `src/tests/integration/data/%` from SRC_FILES

* don't `expectRevert` internally in tests

* simplify autoalloc

* put `owise` to alloc hostCall rule: dt size 870M => 830M

* empty `<stylusvms>` in skribe commands: dt 830M => 800M

* mention `<k>` cell in hostcall rules: dt 800M => 690M

* `<k> #endWasm` in `<instrs>` rules: dt 690M => 665M

* remove K_OPTS java heap limit flag

* add `test-foundry-simple`

* implement concrete rules for  `#assume`

* allow multiple test contracts in one foundry project

* add prank tests

* set tx origin on `callStylus`

* small refactoring for `FuzzTask` and `FuzzError`

* add `vm.assume` and `vm.expectEmit` tests

* Set Version: 0.1.18

* Update src/skribe/kdist/stylus-semantics/auto-allocate.md

Co-authored-by: Palina <polina.tolmach@gmail.com>

* Dockerfile: switch to Ubuntu noble for faster compile times

---------

Co-authored-by: devops <devops@runtimeverification.com>
Co-authored-by: Guy Repta <50716988+gtrepta@users.noreply.github.com>
Co-authored-by: Palina <polina.tolmach@gmail.com>

v0.1.17: Update dependency: deps/kwasm_release (#27)

* deps/kwasm_release: Set Version 0.1.135

* Set Version: 0.1.15

* Set kontrol version: 1.0.188

* Set Version: 0.1.15

* deps/kwasm_release: Set Version 0.1.136

* Set Version: 0.1.17

* pass `FuzzError` constructor args to `super().__init__()`

* upgrade kontrol

* Sync uv files 0.1.136

* deps/k_release: sync release file version 7.1.302

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

* update `build-systems-overlay.nix`

* set kwasm version: 0.1.142

* Sync uv files 0.1.142

---------

Co-authored-by: devops <devops@runtimeverification.com>
Co-authored-by: Burak Bilge Yalcinkaya <bbyalcinkaya@gmail.com>

v0.1.16: Update dependency: deps/pyproject-build-systems (#29)

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

* Sync uv files 0.1.132

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

* Set Version: 0.1.15

* Sync uv files 0.1.132

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

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

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

* Set Version: 0.1.16

* Sync uv files 0.1.132

---------

Co-authored-by: devops <devops@runtimeverification.com>
Co-authored-by: Julian Kuners <julian.kuners@gmail.com>

v0.1.15: Update dependency: deps/uv2nix (#28)

* deps/uv2nix: Set Version be511633027f67beee87ab499f7b16d0a2f7eceb

* Set Version: 0.1.15

* Sync uv version: uv 0.8.22

* Sync uv files 0.1.132

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

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

* update nix in CI

---------

Co-authored-by: devops <devops@runtimeverification.com>
Co-authored-by: Julian Kuners <julian.kuners@gmail.com>

v0.1.14: EVM - Wasm Interoperability (#23)

* fix: check return code in `test_simulation`

* add poetry dependencies

* update kompile targets

* import kevm semantics

* fix test harnesses

* fix wast tests

* add solidity counter and caller contracts

* add wasm<->evm call tests

* fix wasm<->evm synchronisation and contract call bugs

* Set Version: 0.1.14

* pyupgrade

* set wasm and kontrol version

* fix nix build errors

* Dockerfile: add foundry

* get rid of conflicting data.md files

* set kwasm version

* Run cargo in contract directory so it respects rust-toolchain.toml

---------

Co-authored-by: devops <devops@runtimeverification.com>
Co-authored-by: Guy Repta <50716988+gtrepta@users.noreply.github.com>

v0.1.13: Initial implementation of fuzzing for Stylus (Rust) contracts (#18)

* implement `skribe` CLI

* implement `skribe build`

* implement contract metadata utils

* implement progress bar

* small refactoring: accept KInner in `call_stylus` for fuzzer support

* some helpers for fuzzing

* add simple fuzz test contract and `skribe build` test

* implement basic fuzzing without child contracts

* add fuzz integration test

* pyupgrade

* format

* child contracts

* gitignore: add `.hypothesis`

* update README.md

* upgrade rust version

* install Dockerfile dependencies

* update README.md

* add `skribe` executable

* Set Version: 0.1.13

---------

Co-authored-by: devops <devops@runtimeverification.com>
Co-authored-by: Guy Repta <50716988+gtrepta@users.noreply.github.com>

v0.1.12

Implement Cross-Contract Call Semantics: `call_contract` & `read_retu…

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>