TheDude
/
echidna
mirror of https://github.com/crytic/echidna
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
953 Commits
42 Branches
34 Tags
9.1 MiB
Tag: Branch: Tree: f35b468b35
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from 'f35b468b35'
${ noResults }
Commit Graph

66 Commits (f35b468b35f4494b0660ce26c04de6f006e847b7)

Author SHA1 Message Date
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
JP Smith 3f7308c7d6 fix build 4: return of the son of fix build
6 years ago
ggrieco-tob 5535773f5c
Removed threaded flag
6 years ago
Ben Perez f7506e905c Fixed redundant import, added bang patterns to Coverage, added compiler flags -O2 and -threaded
6 years ago
Ben Perez a4ecf49abf Factored out coverage from exec
6 years ago
Ben Perez ecf94a075e stop orphan instance warning
6 years ago
Ben Perez a98601bcbe update package.yaml
6 years ago
JP Smith 2447cf6853 wrote gas usage tester
6 years ago
JP Smith ef73405578 start adding perprop executable
6 years ago