8000 Commits · Memohalliwell/act · GitHub

More Web Proxy on the site http://driver.im/

Commits

Commits on Apr 2, 2024

Important fixes in hevm equivalence (#180)
zoep
authored

Commits on Mar 29, 2024

SMT: add constant assertions (#182)
zoep
authored

Commits on Dec 11, 2023

Proper threading of the Act state and some cleanup (#178)
zoep
authored

Commits on Nov 23, 2023

Commits on Nov 22, 2023

Support for multiple contracts in equivalence check (#167)

zoep
and
d-xo
authored

Commits on Nov 14, 2023

Commits on Nov 13, 2023

Merge pull request #172 from ethereum/reorganise-directories
d-xo
authored

Commits on Nov 12, 2023

Test/Main: correct import namespaces
d-xo
committed

Commits on Nov 9, 2023

Commits on Nov 8, 2023

Act cleanup (#170)
zoep
authored

Commits on Oct 27, 2023

JSON nits for `Exp` (#169)
zoep
authored

Commits on Oct 24, 2023

Type error fixes from most recent version of hevm (#165)

zoep
and
d-xo
authored

Commits on Oct 12, 2023

Nits in the JSON printer (#164)

zoep
and
sophierain
authored

Commits on Oct 1, 2023

Merge pull request #163 from DennisDv24/hie-yaml-fix
d-xo
authored

Commits on Sep 30, 2023

act hie component rename
DennisDv24
committed

Commits on Sep 25, 2023

Port to symbolic addresses (#160)
zoep
authored

Commits on Sep 5, 2023

HEVM: start from concrete store for constructors (#159)
zoep
authored

Commits on Aug 22, 2023

Consistency checks for case analysis (#157)
zoep
authored

Commits on Jul 21, 2023

Constructor equivalence (#156)

zoep
and
d-xo
authored

Commits on Jul 18, 2023

Commits on Jun 29, 2023

Equivalence with HEVM (#152)

zoep
and
d-xo
authored

Commits on Jun 1, 2023

Commits on May 31, 2023

add untyped ast to exposed modules
andrevidela
committed

Commits on May 30, 2023

Merge pull request #149 from ethereum/hevm-update-og
d-xo
authored

Commits on May 26, 2023

Commits on May 22, 2023

Fix bug related to missing constraints from case conditions. (#148)
zoep
authored

0