Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Update dependency: deps/pyk_release (#2041)
* deps/pyk_release: Set Version v0.1.426 * Set Version: 1.0.279 * kevm-pyk/: sync poetry files pyk version v0.1.426 * flake.{nix,lock}: update Nix derivations * deps/pyk_release: Set Version v0.1.427 * kevm-pyk/: sync poetry files pyk version v0.1.427 * flake.{nix,lock}: update Nix derivations * deps/pyk_release: Set Version v0.1.428 * kevm-pyk/: sync poetry files pyk version v0.1.428 * deps/k_release: sync release file version 6.0.69 * flake.{nix,lock}: update Nix derivations * deps/pyk_release: Set Version v0.1.429 * Set Version: 1.0.280 * kevm-pyk/: sync poetry files pyk version v0.1.429 * flake.{nix,lock}: update Nix derivations * adding terminal nodes in calls to APR prover, fixing function names * keep init and target * adapt to pyk new handling of CTerm bottom/top * handle view-kcfg bottom * update foundry-list unit test terminal dict name * ignore keep_nodes= * lock svm * Set Version: 1.0.281 * kevm-pyk/: sync poetry files pyk version v0.1.429 * deps/pyk_release: Set Version v0.1.430 * Set Version: 1.0.282 * kevm-pyk/: sync poetry files pyk version v0.1.430 * flake.{nix,lock}: update Nix derivations * remove useless initialization * Set Version: 1.0.283 * kevm-pyk/: sync poetry files pyk version v0.1.430 * deps/pyk_release: Set Version v0.1.431 * kevm-pyk/: sync poetry files pyk version v0.1.431 * flake.{nix,lock}: update Nix derivations * Set Version: 1.0.284 * Fix bottom/top check * Update expected output for test_foundry_auto_abstraction * Fix test_legacy_prove to handle kevm.prove returning a list of final terms * Set Version: 1.0.285 * Re-add simplify_init argument to test_foundry_auto_abstraction * Update kevm-pyk/src/tests/integration/test_prove.py * Update kevm-pyk/src/kevm_pyk/__main__.py * Fix import --------- Co-authored-by: devops <devops@runtimeverification.com> Co-authored-by: Petar Maksimovic <petar.maksimovic@runtimeverification.com> Co-authored-by: franfran <fgg67@hotmail.fr> Co-authored-by: François Guyot <francois.guyot@runtimeverification.com> Co-authored-by: Franfran <51274081+iFrostizz@users.noreply.github.com> Co-authored-by: Noah Watson <107630091+nwatson22@users.noreply.github.com> Co-authored-by: Noah Watson <noah@nwatson.xyz>
- Loading branch information