Commit Graph

297 Commits (m1-builds-github)

Author SHA1 Message Date
Artur Cygan 7be4072d77
Bring back loading multiple combined JSON files (#1098) 1 year ago
Artur Cygan f4dfed28e1
Update hevm to 0.51.3 (#1090) 1 year ago
Emilio López 2711374501
echidna: enable compact-unwind on macOS (#1084) 1 year ago
Artur Cygan d022554e65
Convert MonadState VM to explicit arguments (#1074) 1 year ago
Artur Cygan 87449e9896
Multicore (#963) 2 years ago
Artur Cygan 2f067ecd8c
hevm 0.50.5 (#1023) 2 years ago
Artur Cygan e9bcf50cda
Add support for lcov, as well as an option in config for choosing coverage formats (#1029) 2 years ago
Artur Cygan bdbf2bba04
Mutable coverage (#1003) 2 years ago
Artur Cygan 0ce9588ec0
Decouple corpus replay from callseq (#1026) 2 years ago
Artur Cygan 1db3236cd0
Code cleanup (#1020) 2 years ago
Artur Cygan 2fea6ba8af
RPC improvements (chain id, config options) (#1017) 2 years ago
Artur Cygan 10b1d5036c
Handle ctrl-c in text mode (#1007) 2 years ago
Artur Cygan a10704c2ff
Remove lens for Campaign (#995) 2 years ago
Artur Cygan a446a6c167
Remove prefixes from EchidnaTest (#994) 2 years ago
Artur Cygan 46b6484aea
Change mapM_ to forM_ to improve readability (#990) 2 years ago
Artur Cygan 31093e478b Measure saving coverage 2 years ago
Artur Cygan 93ee9db6e5
hevm 0.50.4 (#986) 2 years ago
Artur Cygan 435443beae Split and refactor prepareContract 2 years ago
Artur Cygan 3333be2e35 Use corpus dir to persist RPC cache 2 years ago
Artur Cygan 8fbf924f86 Cleanup some code and improve naming 2 years ago
Artur Cygan 63e8a14751 Get sources from Etherscan for fetched contracts 2 years ago
Artur Cygan 67a9ec06c3 Fetch contracts through RPC 2 years ago
Artur Cygan 9eac604908
Use the proper type for gas (#956) 2 years ago
Artur Cygan ff312a67cc
Rename multi-abi to allContracts (#934) 2 years ago
Artur Cygan a1d718ba6b
Fix W256 values parsing from config (#935) 2 years ago
Emilio López 043f8e8e55 Fix emoji output 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
Artur Cygan 9bf8208c86
Fix --crytic-args CLI option (#937) 2 years ago
Artur Cygan 157b6bf429
Cleanup field underscores and improve naming (#928) 2 years ago
Artur Cygan b5f0974959
Don't generate negative seeds (#933) 2 years ago
Artur Cygan 216f0cc00f Refactor test updating 2 years ago
Gustavo Grieco 89cbbb4f40
Allow to use the FFI cheatcode from HEVM in Echidna (#750) 2 years ago
Artur Cygan dceee29809
Code cleanup (#906) 2 years ago
Artur Cygan 8dc4d40d03
Refactor and simplify code to not use Data.Has (#903) 2 years ago
Artur Cygan 2a4d3c67c0
Update hevm to 0.50.1 (#884) 2 years ago
Gustavo Grieco 1f59ae1892
Save and load reproducers for every test (#858) 2 years ago
Gustavo Grieco e4cba78dbd
Initialize sender addresses from etheno transactions (#823) 2 years ago
Artur Cygan b70141510b
Update to GHC 9.0.2 (#846) 2 years ago
Artur Cygan ce643852d4
Cleanup imports and extensions (#828) 2 years ago
Gustavo Grieco 6504a4b339
Colored html output based on @samalws code (#816) 2 years ago
Gustavo Grieco 972086593b
Correctly decode non-utf8 strings from slither printer (#799) 2 years ago
Gustavo Grieco 1296aa67fe
Fix generation and mutation of extreme signed integers (#791) 2 years ago
Gustavo Grieco 75162dc9cf
Remove fallback from signature map when it is not defined (#772) 2 years ago
Gustavo Grieco 59c85d45f3
Support for deployment of certain contracts in specific addresses (#758) 2 years ago
Gustavo Grieco 93ba16442a
Expanded and improved command-line help (#741) 3 years ago
Gustavo Grieco 680bcb41a2
Dapp mode fuzzing support (#733) 3 years ago
Gustavo Grieco a90c2c3028
Generate more values closer to the maximum (#736) 3 years ago
Gustavo Grieco e52802c6e3
fix --shrink-limit to change shrink limit instead of test limit (#728) 3 years ago