Releases: runtimeverification/evm-semantics
Releases · runtimeverification/evm-semantics
v1.0.687
Set Version: 1.0.687
v1.0.686
Set Version: 1.0.686
v1.0.685
Set Version: 1.0.685
v1.0.684
Set Version: 1.0.684
v1.0.683
Set Version: 1.0.683
v1.0.682
Set Version: 1.0.682
v1.0.681
Set Version: 1.0.681
v1.0.680
Set Version: 1.0.680
v1.0.677: Update dependency: deps/k_release (#2570)
* deps/k_release: Set Version 7.1.100 * Set Version: 1.0.677 * kevm-pyk/: sync poetry files pyk version 7.1.100 * flake.{nix,lock}: update Nix derivations * deps/k_release: Set Version 7.1.101 * kevm-pyk/: sync poetry files pyk version 7.1.101 * flake.{nix,lock}: update Nix derivations * deps/k_release: Set Version 7.1.102 * kevm-pyk/: sync poetry files pyk version 7.1.102 * flake.{nix,lock}: update Nix derivations --------- Co-authored-by: devops <[email protected]>
v1.0.676: Adding support for the `--assume-defined` flag (#2568)
* adding support for assume-defined flag * Set Version: 1.0.675 * Set Version: 1.0.676 * correction --------- Co-authored-by: devops <[email protected]>