Skip to content

Releases: runtimeverification/evm-semantics

v1.0.687

16 Aug 08:56
Compare
Choose a tag to compare
Set Version: 1.0.687

v1.0.686

15 Aug 02:00
Compare
Choose a tag to compare
Set Version: 1.0.686

v1.0.685

14 Aug 11:51
Compare
Choose a tag to compare
Set Version: 1.0.685

v1.0.684

14 Aug 10:29
Compare
Choose a tag to compare
Set Version: 1.0.684

v1.0.683

14 Aug 06:16
Compare
Choose a tag to compare
Set Version: 1.0.683

v1.0.682

13 Aug 14:16
Compare
Choose a tag to compare
Set Version: 1.0.682

v1.0.681

13 Aug 00:54
Compare
Choose a tag to compare
Set Version: 1.0.681

v1.0.680

10 Aug 21:07
Compare
Choose a tag to compare
Set Version: 1.0.680

v1.0.677: Update dependency: deps/k_release (#2570)

09 Aug 07:26
ef64079
Compare
Choose a tag to compare
* 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)

08 Aug 15:03
25be766
Compare
Choose a tag to compare
* adding support for assume-defined flag

* Set Version: 1.0.675

* Set Version: 1.0.676

* correction

---------

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