Tags: runtimeverification/kontrol
Tags
Update dependency: deps/kevm_release (#1026) * deps/kevm_release: Set Version 1.0.840 * Sync uv files: kevm-pyk version 1.0.840 * deps/k_release: sync release file version 7.1.253 * flake.{nix,lock}: update Nix derivations --------- Co-authored-by: devops <devops@runtimeverification.com>
Update dependency: deps/kevm_release (#1008) * deps/kevm_release: Set Version 1.0.815 * Sync Poetry files: kevm-pyk version 1.0.815 * flake.{nix,lock}: update Nix derivations * Sync Poetry files: kevm-pyk version 1.0.815 * deps/kevm_release: Set Version 1.0.816 * Sync Poetry files: kevm-pyk version 1.0.816 * flake.{nix,lock}: update Nix derivations * deps/kevm_release: Set Version 1.0.817 * Sync Poetry files: kevm-pyk version 1.0.817 * deps/k_release: sync release file version 7.1.235 * flake.{nix,lock}: update Nix derivations * deps/kevm_release: Set Version 1.0.818 * Sync Poetry files: kevm-pyk version 1.0.818 * flake.{nix,lock}: update Nix derivations * deps/kevm_release: Set Version 1.0.819 * Sync Poetry files: kevm-pyk version 1.0.819 * deps/k_release: sync release file version 7.1.236 * flake.{nix,lock}: update Nix derivations * deps/kevm_release: Set Version 1.0.820 * Sync Poetry files: kevm-pyk version 1.0.820 * flake.{nix,lock}: update Nix derivations * deps/kevm_release: Set Version 1.0.821 * Sync Poetry files: kevm-pyk version 1.0.821 * flake.{nix,lock}: update Nix derivations * deps/kevm_release: Set Version 1.0.822 * Sync Poetry files: kevm-pyk version 1.0.822 * flake.{nix,lock}: update Nix derivations * deps/kevm_release: Set Version 1.0.823 * Sync Poetry files: kevm-pyk version 1.0.823 * deps/k_release: sync release file version 7.1.237 * flake.{nix,lock}: update Nix derivations * deps/kevm_release: Set Version 1.0.824 * Sync Poetry files: kevm-pyk version 1.0.824 * deps/k_release: sync release file version 7.1.238 * flake.{nix,lock}: update Nix derivations * deps/kevm_release: Set Version 1.0.825 * Sync Poetry files: kevm-pyk version 1.0.825 * flake.{nix,lock}: update Nix derivations * deps/kevm_release: Set Version 1.0.826 * Sync Poetry files: kevm-pyk version 1.0.826 * flake.{nix,lock}: update Nix derivations * deps/kevm_release: Set Version 1.0.827 * Sync Poetry files: kevm-pyk version 1.0.827 * flake.{nix,lock}: update Nix derivations * deps/kevm_release: Set Version 1.0.828 * Sync Poetry files: kevm-pyk version 1.0.828 * deps/k_release: sync release file version 7.1.241 * flake.{nix,lock}: update Nix derivations * deps/kevm_release: Set Version 1.0.829 * Sync uv files: kevm-pyk version 1.0.829 * flake.{nix,lock}: update Nix derivations * Fix code quality checks * Update expected output files * deps/kevm_release: Set Version 1.0.830 * Sync uv files: kevm-pyk version 1.0.830 * deps/k_release: sync release file version 7.1.244 * flake.{nix,lock}: update Nix derivations * Sync uv files: kevm-pyk version 1.0.830 * flake.{nix,lock}: update Nix derivations * deps/kevm_release: Set Version 1.0.831 * Sync uv files: kevm-pyk version 1.0.831 * flake.{nix,lock}: update Nix derivations * deps/kevm_release: Set Version 1.0.834 * Sync uv files: kevm-pyk version 1.0.834 * deps/k_release: sync release file version 7.1.249 * flake.{nix,lock}: update Nix derivations * deps/kevm_release: Set Version 1.0.835 * Sync uv files: kevm-pyk version 1.0.835 * flake.{nix,lock}: update Nix derivations * Update imports to move `pyk.prelude` into `pyk.kast` * Sync uv files: kevm-pyk version 1.0.835 * Fix missing update to `pyk.prelude` imports * Experimental: add `concrete` attribute to `prank`, `expectRevert` rules * deps/kevm_release: Set Version 1.0.836 * Sync uv files: kevm-pyk version 1.0.836 * flake.{nix,lock}: update Nix derivations * deps/kevm_release: Set Version 1.0.837 * Sync uv files: kevm-pyk version 1.0.837 * flake.{nix,lock}: update Nix derivations * Revert adding `concrete` in prank, expectrevert cheatcodes * Sync uv files: kevm-pyk version 1.0.837 * deps/kevm_release: Set Version 1.0.839 * Sync uv files: kevm-pyk version 1.0.839 * flake.{nix,lock}: update Nix derivations * Update expected output files --------- Co-authored-by: devops <devops@runtimeverification.com> Co-authored-by: Palina <polina.tolmach@gmail.com>
Pin `uv` version in CI to 0.7.2 (#1023) * Pin uv version to 0.6.17 in CI workflows * Fix `uv` to 0.7.2 in CI, format workflow files * Sync uv files: kevm-pyk version 1.0.814 * flake.{nix,lock}: update Nix derivations * Cleanup, remove `env` * Code quality fix * fix revision of `pyproject-build-systems` and `uv2nix` in `flake.nix` * Minor comment cleanup in `flake.nix` --------- Co-authored-by: devops <devops@runtimeverification.com> Co-authored-by: Julian Kuners <julian.kuners@gmail.com>
Factor out Foundry modules (#1021) * src/kontrol/{foundry,display,__main__}: separate out display related module * kontrol/{foundry,__main__}: avoid passing entire Foundry object into foundry_state_load * kontrol/{utils,state_record,foundry,__main__}: separate out foundry_state_load into its own module * kontrol/{state_record,prove}: move more helpers for state recording to state_record module * src/kontrol/prove: pull computation of initial accounts from recorded state to top-level * kontrol/{prove,__main__}: lift use of state_record out of foundry_prove * kontrol/{foundry,display}: move Foundry.custom_view to display module instead * kontrol/state_record: fix pyupgrade error
Refactors to simplify import structure (#1019) * src/kontrol/{utils,solc_to_k,state_record,prove}: move hex_string_to_int from solc_to_k to utils * kontrol/cli: direct imports instead of through prove * kontrol/{options,cli,__main__}: remove kontrol compile command * kontrol/solc_to_k: remove now unused method * kontrol/{cli,options,foundry,__main__}: remove kontrol to-dot command * kontrol/{foundry,__main__}: factor out foundry_view command similar to foundry_show * kontrol/{foundry,__main__}: demote hevm import to foundry instead of __main__ with refactor * kontrol/{hevm,foundry}: inline Hevm.help_info into Foundry.help_info * kontrol/{hevm,prove,foundry}: inline Hevm.{success,fail} directly into Foundry class * kontrol/foundry: use Foundry directly for parsing instead of buliding foundry_node_printer
PreviousNext