Commit Graph

1268 Commits (cov-wip-10-rebased-again)
 

Author SHA1 Message Date
Sam Alws 87c635b59e rename Echidna.Types.CodehashMap to Echidna.SignatureMapping 10 months ago
Sam Alws dcbc558ad7 fix tests 10 months ago
Sam Alws bad2d741ac fallback on bytecode metadata if findSrc doesn't work 10 months ago
Sam Alws 6a0e32f7de Add @arcz 's suggestions 10 months ago
Sam Alws 514220265d added test (don't know if it works yet) 10 months ago
Sam Alws b78e6a7af4 cleanup 10 months ago
Sam Alws 7c8fdbc793 hlint 10 months ago
Sam Alws 292168a8aa refactor codehash helper functions 10 months ago
Sam Alws dc797eb0b3 use codeContract rather than contract; use env rather than individual pieces of env 10 months ago
Sam Alws 964cbafd32 remove metadata cache 10 months ago
Sam Alws 7e70e18d56 use codehash for signaturemap 10 months ago
Sam Alws 61ec23c3cb compiles and runs; significantly faster than master 10 months ago
Sam Alws 141bad2e6b WIP implementation using codehash map 10 months ago
Artur Cygan 9d502be265
Make slither optional (#1159) 10 months ago
Artur Cygan 937102bcba
Simplify saving tx result in coverage (#1158) 10 months ago
Artur Cygan f6e8fbb016
Use trace printing from hevm (#1157) 10 months ago
Emilio López 0a3480974c
echidna-redistributable: fix static builds (#1156) 10 months ago
Emilio López b7f5e79bf1
Upgrade actions/upload-artifact and actions/download-artifact to v4 (#1155) 10 months ago
Artur Cygan 0d9588545a
Bump nixpkgs and default back to non-static (#1154) 10 months ago
dependabot[bot] 0fab478e0b
Bump actions/setup-python from 4 to 5 (#1147) 10 months ago
Artur Cygan 0540ce60cb
Merge pull request #1153 from crytic/hevm-0.52 10 months ago
Artur Cygan ce70a8e958 hevm: update to 0.52.0 10 months ago
Artur Cygan 7ca2cf7447 Small cleanup in execTxWith 10 months ago
dependabot[bot] 04c5a79f0b
Bump DeterminateSystems/nix-installer-action from 8 to 9 (#1148) 10 months ago
dependabot[bot] 60a68b6886
Bump sigstore/gh-action-sigstore-python from 2.1.0 to 2.1.1 (#1149) 10 months ago
dependabot[bot] 25361bdd16
Bump cachix/install-nix-action from 23 to 24 (#1146) 11 months ago
dependabot[bot] 39c4deb324
Bump cachix/cachix-action from 12 to 13 (#1145) 11 months ago
dependabot[bot] d2eac5090c
Bump DeterminateSystems/nix-installer-action from 6 to 8 (#1144) 11 months ago
Emilio López 494eb9241d
nix: static builds and release workflow (#1133) 11 months ago
E. Rivas f52b35af4e
Fix new hlint issues after update (hlint-3.6.1) (#1132) 1 year ago
Artur Cygan e03efba8d2
Update to GHC 9.4 (#1096) 1 year ago
dependabot[bot] c42eff0750
Bump docker/login-action from 2 to 3 (#1122) 1 year ago
dependabot[bot] 068fa9dc13
Bump docker/metadata-action from 4 to 5 (#1121) 1 year ago
dependabot[bot] 561edc0c72
Bump docker/build-push-action from 4 to 5 (#1120) 1 year ago
dependabot[bot] 83475edf7f
Bump docker/setup-buildx-action from 2 to 3 (#1119) 1 year ago
Emilio López 33f7b46d58
Revert "docker: temporarily pin crytic-compile @ 53167f3f3d63 (#912)" (#1115) 1 year ago
Ardis Lu 31c187b835
Fix broken link (#1113) 1 year ago
dependabot[bot] f8ccfaa57d
Bump cachix/install-nix-action from 22 to 23 (#1112) 1 year ago
dependabot[bot] 058b517894
Bump actions/checkout from 3 to 4 (#1111) 1 year ago
Gustavo Grieco 9ea8a2c865
re-enable using slither for vyper files (#1108) 1 year ago
Artur Cygan 21e6e5282a
Echidna 2.2.1 (#1099) 1 year ago
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
Gustavo Grieco 8ce9b49b7c
Correct collection of coverage when there is a delegatecall (#1083) 1 year ago
James Olds dcc2387a7f
update link to empirehacking slack (#1089) 1 year ago
dependabot[bot] d0292959ab
Bump cachix/install-nix-action from 21 to 22 (#1080) 1 year ago
Artur Cygan a7d9290295
Show event sequence on new lines (#1079) 1 year ago
Artur Cygan e9860f3f42
Improve "No tests found in ABI" error message (#1077) 1 year ago
Artur Cygan d022554e65
Convert MonadState VM to explicit arguments (#1074) 1 year ago