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]>

v0.1.33: Update dependency: deps/kevm_release (#116)

* deps/kevm_release: Set Version 1.0.318

* Set Version: 0.1.32

* Sync Poetry files: kevm-pyk version 1.0.318

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

* Set Version: 0.1.33

---------

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

v0.1.32: Fix master deployments (#111)

* .github/master-push: correct way were building master image

* Set Version: 0.1.30

* Set Version: 0.1.30

* Set Version: 0.1.31

* Set Version: 0.1.32

---------

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

v0.1.25

The order of notifying downstreams happens before artifacts are ready…

v0.1.24: Execution of contract initialization code (#54)

* port contract initialization code to kontrol

* Set Version: 0.1.10

* Point to branch

* Fix formatting

* Update expected files

* Turn on verbose flag for integration tests

* Revert test-pr.yml

* edit workflow file

* Set Version: 0.1.11

* Set Version: 0.1.11

* edit workflow file

* Fix contracts.k.expected

* Revert test-pr.yml

* Set Version: 0.1.12

* Set Version: 0.1.13

* Set Version: 0.1.14

* Merge master into branch

* Add warning if constructor doesn't exist

* Use master branch of kevm

* Set Version: 0.1.21

* Fix formatting, update kevm

* Update test_foundry_kompile expected

* Update expected output

* Remove commented lines

* Set Version: 0.1.23

* Set Version: 0.1.24

---------

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

v0.1.23: Update dependency: deps/kevm_release (#94)

* deps/kevm_release: Set Version 1.0.315

* Set Version: 0.1.23

* Sync Poetry files: kevm-pyk version 1.0.315

* deps/k_release: sync release file version 6.0.133

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

* Update expected output

---------

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

v0.1.22: Update dependency: deps/kevm_release (#87)

* deps/kevm_release: Set Version 1.0.313

* Set Version: 0.1.21

* Sync Poetry files: kevm-pyk version 1.0.313

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

* deps/kevm_release: Set Version 1.0.314

* Sync Poetry files: kevm-pyk version 1.0.314

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

* Set Version: 0.1.22

---------

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

v0.1.21: Clarify `--test` functionality for kontrol prove (#88)

* improve messages

* tweak error message

* Set Version: 0.1.21

* method -> function

---------

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

v0.1.20: Update dependency: deps/kevm_release (#82)

* deps/kevm_release: Set Version 1.0.312

* Set Version: 0.1.19

* Sync Poetry files: kevm-pyk version 1.0.312

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

* Set Version: 0.1.20

---------

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