v0.1.16: Refactor proof setup (#63)

* Make `method_to_apr_proof` public

* Move calls

* Extract method `get_contract_and_method`

* Extract function `collect_tests`

* Extract function `collect_setup_methods`

* Update digest directly

* Rename variables

* Move statement

* Simplify log messages

* Change `_run_cfg_group` to work with `FoundryTest`

* Change `method_to_apr_proof` to work with `FoundryTest`

* Extract nested function `run_prover`

* Extract function `method_to_initialized_cfg`

* Pull setup digest computation

* Eliminate else branch

* Extract function `_setup_cterm`

* Pull `setUp()` final state loading

* Eliminate parameter `save_directory`

* Remove parameter `exclude_tests`

* Fix number of `pytest` workers on CI

* Set Version: 0.1.16

---------

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

v0.1.15: Update dependency: deps/kevm_release (#68)

* deps/kevm_release: Set Version 1.0.310

* Set Version: 0.1.15

* Sync Poetry files: kevm-pyk version 1.0.310

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

* deps/kevm_release: Set Version 1.0.311

* Sync Poetry files: kevm-pyk version 1.0.311

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

---------

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

v0.1.14: Migrate missing tests to kontrol (#48)

* Update foundry ref

* Set Version: 0.1.9

* Updatae expected files, fix lemma

* Add non-ported test files

* Set Version: 0.1.10

* add cheatcode functions and update expected kompile output

* Set Version: 0.1.11

* Set Version: 0.1.11

* Update forge version in test-pr.yml

* Set Version: 0.1.12

* Set Version: 0.1.13

* Set Version: 0.1.14

---------

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

v0.1.13: Update dependency: deps/kevm_release (#60)

* deps/kevm_release: Set Version 1.0.308

* Set Version: 0.1.13

* Sync Poetry files: kevm-pyk version 1.0.308

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

* deps/kevm_release: Set Version 1.0.309

* Sync Poetry files: kevm-pyk version 1.0.309

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

---------

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

v0.1.12

One final test for review

v0.1.11: Update dependency: deps/kevm_release (#53)

* deps/kevm_release: Set Version 1.0.307

* Set Version: 0.1.9

* Sync Poetry files: kevm-pyk version 1.0.307

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

* Set Version: 0.1.10

* Set Version: 0.1.11

---------

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

v0.1.10: Kontrol Image Permissions (#49)

Force new Dockerhub Release

v0.1.9: Extract modules `kompile` and `prove` (#51)

* Move `_init_and_run_proof` into `run_kcfg_group`

* Move `run_cfg_group` out of `foundry_prove`

* Rename functions

* Extract module `kontrol.prove`

* Rename function

* Extract module `kontrol.kompile`

* Move import to top

* Set Version: 0.1.9

---------

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

v0.1.8: Add CI step to update dependents (#47)

* Add CI step to update dependents

* Set Version: 0.1.8

---------

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

v0.1.7: Pull in changes to KEVM since project creation (#43)

* src/{kontrol,tests}: import changes in KEVM since last import

* Set Version: 0.1.4

* src/tests/integratiion/test_foundry_prove: bring back upped recursion limit

* src/tests/unit/test_solc_to_k: add unit test harness

* .github/test-pr: disable failing if any in matrix fails

* .github/test-pr: build haskell backend too

* Set Version: 0.1.5

* kontrol/cli: update to latest KEVM foundry_test_args

* Set Version: 0.1.7

---------

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