Commit Graph

74 Commits (dev-unrevert-exploration)

Author SHA1 Message Date
Emilio López 1f703409c4
stack: fix version number, libBF pin (#743) 3 years ago
Gustavo Grieco 31034fbf8d
Echidna 2.0 (#716) 3 years ago
Gustavo Grieco f7481241b9
Echidna 1.7.3 (#699) 3 years ago
Gustavo Grieco 30e9e5e055
Echidna 1.7.2 (#677) 3 years ago
Gustavo Grieco 89d9439bbd
Echidna 1.7.1 (#663) 4 years ago
Gustavo Grieco 34cf64d19a
Echidna 1.7.0 (#621) 4 years ago
Gustavo Grieco 4a02bfbb8d
Coverage filenames now will include the current time to avoid overwritting (#620) 4 years ago
Emilio López 41c45af0da
Run echidna tests in parallel (#571) 4 years ago
Gustavo Grieco c8d2966cc9
Echidna 1.6.1 release (#600) 4 years ago
Gustavo Grieco 717e2280b7
Semver integration for improve testing with different solc versions (#594) 4 years ago
Will Song 050e47df41
release v1.6.0 (#561) 4 years ago
Gustavo Grieco 7c8420ac02
Improvements in the detection of failed tests (#515) 4 years ago
Gustavo Grieco 16ba989566
Use Slither for constant extraction (#451) 4 years ago
Will Song a4a7af92c4
hevm 0.42 (#511) 4 years ago
Will Song 9149d95dda
fix issue where libraries would get loaded at extreme timestamps and block numbers, also switch to the new hevm stripBytecodeMetadata (#510) 4 years ago
Will Song e0047842e0
update for 1.5.1 (#470) 4 years ago
Will Song 6654f087d6
try removing all non-essential constraints in package.yaml (#466) 4 years ago
Gustavo Grieco 86b2b574fd
Use of external programs to obtain information to use during the campaign (#396) 5 years ago
Will Song c3b94decc4
1.5.0.0 -> 1.5.0 (#431) 5 years ago
Gustavo Grieco abf5b4cf4b
Echidna 1.5.0.0 5 years ago
Gustavo Grieco 1456b8caf3
Improved array generation using generic mutations (#357) 5 years ago
Will Song 3a93b2cf9b
update hevm to 0.37, echidna 1.4.0.1 (#381) 5 years ago
Gustavo Grieco e5a58b75c0
Updates for 1.4.0.0 (#377) 5 years ago
Will Song d467d9e115 update some fields 5 years ago
Will Song 6c0ad80eb1 bump version 5 years ago
Will Song 69c8fc5028 add stripBytecodeMetadata 5 years ago
Will Song 78fd57c9fb split no longer used 5 years ago
Will Song ba75af8f54 Update changelog for release (#331) 5 years ago
JP Smith 3331442965 remove unnecessary encoding tests 5 years ago
JP Smith 83d88d1f9a update hevm, remove abiv2 5 years ago
Artur Cygan 7033065b1e Add --version to CLI 5 years ago
Will Song 66f425e909 hedgehog 5 years ago
Will Song aefcd6a2a8 codeclimate 5 years ago
Will Song ae43204b0b include a property test for ABIv2 encode/decode 5 years ago
Will Song fe0708b326 get this shit to compile with placeholder functions 5 years ago
Will Song 413f97266b test (does not work !!) 5 years ago
Gustavo Grieco 633155c86e
Support for truffle/embark using crytic-compile (#204) 5 years ago
JP Smith b556993655 add constant scraping for return vals 5 years ago
Will Song daa04ae30b Seeds of life 2 (#254) 5 years ago
JP Smith 9191187f39 initial stable release (#237) 5 years ago
JP Smith 863d1eed7e gold didn't help 5 years ago
JP Smith 4043c80a8d try using gnu gold 5 years ago
JP Smith 3c6bcd18b2 you only yolo once 5 years ago
Gustavo Grieco 3d095989fa
Enable the use of statically-linked binaries (#222) 6 years ago
JP Smith eae847485f check that we're in a terminal before drawing dashboard 6 years ago
Gustavo Grieco 13983c6fec
Update package.yaml 6 years ago
Gustavo Grieco 6b161cb6f1
Update package.yaml 6 years ago
Will Song efe04cad6b s/stack-test/echidna-testsuite/ 6 years ago
Will Song cfd2135d08 add a tasty-hunit test, this should be runnable with `stack test` 6 years ago
JP Smith 468def9b81 rewrite echidna to work better 6 years ago