v0.1.61: Update dependency: deps/kwasm_release (#71)

* deps/kwasm_release: Set Version 0.1.122

* Set Version: 0.1.61

* Sync Poetry files 0.1.122

* deps/k_release: sync release file version 7.1.228

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

---------

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

v0.1.60: Update dependency: deps/kwasm_release (#70)

* deps/kwasm_release: Set Version 0.1.121

* Set Version: 0.1.60

* Sync Poetry files 0.1.121

* deps/k_release: sync release file version 7.1.222

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

---------

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

v0.1.59: Improvements for the vesting fuzz tests (#68)

* `contract_event` noop implementation

* implement Strings

* implement `kasmer_address_from_bytes`

* Set Version: 0.1.59

* Dockerfile: add dependencies

* add TODO comment to `contract_event`

---------

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

v0.1.58: Implement `try_call` (#65)

* fix rule label for `call`

* refactor using `hostCallAux`

* implement `try_call`

* add komet test for `try_call`

* add parenthesis around `#as`

* Set Version: 0.1.58

* build child contracts before the test contract

---------

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

v0.1.57: `komet prove` options for advanced users (#64)

* implement `--extra-module`

* implement `--view-node` and `--remove-node`

* add progress display to `komet prove run`

* Set Version: 0.1.57

---------

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

v0.1.56: Update dependency: deps/kwasm_release (#63)

* deps/kwasm_release: Set Version 0.1.120

* Set Version: 0.1.55

* Sync Poetry files 0.1.120

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

* Set Version: 0.1.56

---------

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

v0.1.55: Test harness for lemmas (#60)

* implement the harness

* add lemma tests

* Set Version: 0.1.51

* add CI job for lemma tests

* format

* update soroban sdk

* Fix typo

Co-authored-by: Everett Hildenbrandt <[email protected]>

* Set Version: 0.1.55

* add `EqualityProof` support

---------

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

v0.1.54: Update dependency: deps/kwasm_release (#59)

* deps/kwasm_release: Set Version 0.1.119

* Set Version: 0.1.51

* Sync Poetry files 0.1.119

* deps/k_release: sync release file version 7.1.191

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

* Set Version: 0.1.54

* Sync Poetry files 0.1.119

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

---------

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

v0.1.53: Add `--always-allocate` Flag to Reduce Branching (#58)

* add config cell and cli option

* add semantics

* add test and lemmas

* Set Version: 0.1.51

* Set Version: 0.1.52

* Set Version: 0.1.53

---------

Co-authored-by: devops <[email protected]>
Co-authored-by: automergerpr-permission-manager[bot] <190534181+automergerpr-permission-manager[bot]@users.noreply.github.com>

v0.1.52: Add host functions for `Bytes` operations (#61)

* implement `bytes_copy_from_linear_memory`

* implement `bytes_new`

* implement `bytes_put`

* implement `bytes_get`

* refactor `bytes_copy_from_linear_memory`

* implement `bytes_del`

* refactor hostcall implementations to use `hostCallAux`

* implement `bytes_push`

* implement `bytes_pop`

* implement `bytes_front`  `bytes_back`

* implement `bytes_insert`

* implement `bytes_append`

* implement `bytes_slice`

* allow 0 length in `bytes_insert`

* add property tests

* Set Version: 0.1.51

* update soroban sdk

* implement `symbol_len`

* Set Version: 0.1.52

---------

Co-authored-by: devops <[email protected]>
Co-authored-by: automergerpr-permission-manager[bot] <190534181+automergerpr-permission-manager[bot]@users.noreply.github.com>