Commit Graph

31 Commits (dev-all-events)

Author SHA1 Message Date
Artur Cygan 2f067ecd8c
hevm 0.50.5 (#1023) 2 years ago
Artur Cygan 618228c93b
Bump dependencies (#1022) 2 years ago
Artur Cygan 93ee9db6e5
hevm 0.50.4 (#986) 2 years ago
Emilio López c29bb61418 Update hevm reference to upstream 2 years ago
Emilio López 7a2ea7777a Update hevm 2 years ago
Emilio López 56250ae8a8 Try dynamic build 2 years ago
Emilio López e8764a2927 Disable UI on Windows 2 years ago
Artur Cygan 640cc5bb30
Update hevm to 0.50.3 (#942) 2 years ago
Gustavo Grieco 0ac89ae5a7
experimental prank support (#897) 2 years ago
Artur Cygan 6f7b19c4f5
Update to hevm with regressions fixed (#894) 2 years ago
Artur Cygan 2a4d3c67c0
Update hevm to 0.50.1 (#884) 2 years ago
Artur Cygan b70141510b
Update to GHC 9.0.2 (#846) 2 years ago
Emilio López 1f703409c4
stack: fix version number, libBF pin (#743) 3 years ago
Gustavo Grieco 31034fbf8d
Echidna 2.0 (#716) 3 years ago
Artur Cygan b425931b9f
Update hevm to 0.48.0 (#691) 3 years ago
Artur Cygan 25dfdad93d
Fix source printing and update hevm to 0.47.0 (#678) 3 years ago
Artur Cygan 4aeffd4baa
Update hevm to 0.46.0 (#660) 3 years ago
Will Song a4a7af92c4
hevm 0.42 (#511) 4 years ago
Will Song 3a93b2cf9b
update hevm to 0.37, echidna 1.4.0.1 (#381) 5 years ago
JP Smith 83d88d1f9a update hevm, remove abiv2 5 years ago
JP Smith 406559b8f2 code cleanup 5 years ago
Gustavo Grieco 326563574c
Update stack.yaml 5 years ago
ggrieco-tob 987653e410 upgraded to hevm-0.30 5 years ago
ggrieco-tob c88af30593 upgrade to hevm 0.24 6 years ago
JP Smith 468def9b81 rewrite echidna to work better 6 years ago
JP Smith 3f7308c7d6 fix build 4: return of the son of fix build 6 years ago
ggrieco-tob 993ce991de
Upgrade to hedgehog 0.6 (#50) 7 years ago
Connor Christie 581f78d6e4 Use fmap and clarify readme 7 years ago
Connor Christie 7e66ca2109 Add ability to specify solc compiler options 7 years ago
JP Smith 14c6c3e29a new solidity code + hlint clean 7 years ago
JP Smith 47a932fbf0 begin library refactor 7 years ago