v0.1.60: Add maude backend to Kontrol (#125)

* add maude_port flag to functions that call legacy_explore

* make use of --port and --maude-port when starting kontrol

* add target flag to foundry_kompile

* add --target flag to `kontrol build`

* pass target flag to foundry_kompile

* fix bug with Haskell backend

* Set Version: 0.1.54

* add choices flag

---------

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

v0.1.59: Add docs on running kore-rpc-booster on a bug report (#95)

* Add docs on running kore-rpc-booster on a bug report

* Set Version: 0.1.23

* Set Version: 0.1.59

* Update __init__.py

---------

Co-authored-by: devops <devops@runtimeverification.com>
Co-authored-by: Andrei Văcaru <16517508+anvacaru@users.noreply.github.com>

v0.1.58: Reduce legacy time on CI (#171)

* src/tests/integration: add file of skipped legacy prover tests

* test-data/: update list with more slow tests

* Set Version: 0.1.58

---------

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

v0.1.57: Re-export the kevm binary in nix flake kontrol package (#160)

* Re-export the kevm binary in nix flake kontrol package

* Set Version: 0.1.53

* Set Version: 0.1.54

* Set Version: 0.1.57

---------

Co-authored-by: devops <devops@runtimeverification.com>
Co-authored-by: Petar Maksimović <PetarMax@users.noreply.github.com>

v0.1.56: Save number cell from setUp function (#166)

* save number cell from setup + test and expected output

* Set Version: 0.1.56

* Update src/tests/integration/test-data/foundry/test/BlockParamsTest.t.sol

* update expected ouptut

---------

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

v0.1.55: Update dependency: deps/kevm_release (#161)

* deps/kevm_release: Set Version 1.0.346

* fix flake

* Use fully qualified target names

* Set Version: 0.1.55

* Sync Poetry files: kevm-pyk version 1.0.346

* deps/k_release: sync release file version 6.1.1

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

* deps/kevm_release: Set Version 1.0.347

* Sync Poetry files: kevm-pyk version 1.0.347

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

---------

Co-authored-by: devops <devops@runtimeverification.com>
Co-authored-by: Sam Balco <goodlyrottenapple@gmail.com>
Co-authored-by: Tamás Tóth <tothtamas28@users.noreply.github.com>

v0.1.54: mark freshUInt and freshBool as preserving definedness (#159)

* mark freshUInt and freshBool as preserving definedness
Use of #bufStrict is safe in these rules because the argument range is explicitly restricted (and the argument is symbolic anyway)

v0.1.53

removing documentation in foundry.md and adding link to gitbook docs …

v0.1.52: Update dependency: deps/kevm_release (#158)

* deps/kevm_release: Set Version 1.0.336

* Set Version: 0.1.52

* Sync Poetry files: kevm-pyk version 1.0.336

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

* deps/kevm_release: Set Version 1.0.337

* Sync Poetry files: kevm-pyk version 1.0.337

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

---------

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

v0.1.51: Update dependency: deps/kevm_release (#156)

* deps/kevm_release: Set Version 1.0.334

* Set Version: 0.1.50

* Sync Poetry files: kevm-pyk version 1.0.334

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

* deps/kevm_release: Set Version 1.0.335

* Sync Poetry files: kevm-pyk version 1.0.335

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

* Refactor `kevm_prove` into `run_prover`

* Set Version: 0.1.51

* Reorder imports

---------

Co-authored-by: devops <devops@runtimeverification.com>
Co-authored-by: palinatolmach <polina.tolmach@gmail.com>