v0.1.43: Add job to test Nix build (#146)

* Add package smoke test

* Add `nix` job

* Build Foundry with Kontrol

* Run job on `MacM1` too

* Set Version: 0.1.43

---------

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

v0.1.42: Make test selection more similar to Foundry (#103)

* Fix error messages, match by using beginning of string only

* Set Version: 0.1.28

* Fix formatting

* Set Version: 0.1.38

* Enable running all matched tests, print selected tests at beginning

* Clean up

* Use --match-test in docker test

* Set Version: 0.1.39

* Fix help message to reflect new behavior

* Set Version: 0.1.40

* Set Version: 0.1.40

* Set Version: 0.1.41

* Set Version: 0.1.42

---------

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

v0.1.41: Add escaping to sort_field (#145)

* Add escaping to sort_field

* Set Version: 0.1.40

* Update expected contracts.k

* Set Version: 0.1.41

* Set Version: 0.1.41

---------

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

v0.1.40: Fix kup version of kontrol by building the foundryx target (#138)

* Fix kontrol by building the foundryx target

* Set Version: 0.1.39

* Set Version: 0.1.40

---------

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

v0.1.39: Updated documentation link in output (#129)

* updated documentation link in output

* Set Version: 0.1.37

* changed to https link

* Set Version: 0.1.38

* Set Version: 0.1.39

---------

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

v0.1.38: Add `foundry.md` (#135)

* Add `kevm-dist` target `foundryx`

* Replace target `foundry` by `foundryx`

* Set Version: 0.1.38

---------

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

v0.1.37: Simplify returning of proof results (#114)

* Use Proof class to simplify returning of proof results

* Set Version: 0.1.31

* Don't index by unhashable FoundryTest type

* Fix test

* Set Version: 0.1.33

* Fix test

* Apply suggestions

* Set Version: 0.1.34

* Set Version: 0.1.34

* Set Version: 0.1.35

* Set Version: 0.1.36

* Set Version: 0.1.37

---------

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

v0.1.36: Fix `_method_to_cfg` (#109)

* Copy the setup proof KCFG

* Simplify statement

* Slide statement

* Simplify statement

* Simplify statement

* Set Version: 0.1.34

* Set Version: 0.1.35

* Set Version: 0.1.36

---------

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

v0.1.35: Update dependency: deps/kevm_release (#119)

* deps/kevm_release: Set Version 1.0.319

* Set Version: 0.1.34

* Sync Poetry files: kevm-pyk version 1.0.319

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

* deps/kevm_release: Set Version 1.0.320

* Sync Poetry files: kevm-pyk version 1.0.320

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

* deps/kevm_release: Set Version 1.0.321

* Sync Poetry files: kevm-pyk version 1.0.321

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

* deps/kevm_release: Set Version 1.0.322

* Set Version: 0.1.35

* Sync Poetry files: kevm-pyk version 1.0.322

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

* fetch plugin_dir

* deps/kevm_release: Set Version 1.0.323

* Sync Poetry files: kevm-pyk version 1.0.323

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

* Remove redundant add_argument for --fail-fast

---------

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

v0.1.34: Encapsulate program-level options (#108)

* Add GlobalOptions class to encapsulate options constant for one kontrol prove run

* Set Version: 0.1.28

* Set Version: 0.1.30

* Don't pass options on public function

* Move options construction to exec_prove, add constructor with default args

* Fix typo in help message

* Rename class to ProveOptions

* Set Version: 0.1.33

* Update src/kontrol/prove.py

* Address comments

* Set Version: 0.1.34

* Update src/kontrol/options.py

Co-authored-by: Tamás Tóth <[email protected]>

---------

Co-authored-by: devops <[email protected]>
Co-authored-by: Tamás Tóth <[email protected]>