crytic/echidna
1
0
Fork 0
mirror of https://github.com/crytic/echidna.git synced 2026-10-12 02:12:32 +00:00
Code Issues Packages Projects Releases Wiki Activity
1,685 Commits 64 Branches 43 Tags

Default Branch

master

5adfc83986 · Update hevm with arithmetic abstraction and execution optimizations (#1639) · Updated 2026-10-08 19:31:16 +00:00
 ZIP  TAR.GZ

Branches

dev-sym-prop

fe7417a41d · sample properties in exploration mode · Updated 2026-10-06 10:34:28 +00:00    crytic

3
12
 ZIP  TAR.GZ
perf/corpus-selection

f015341ace · perf(corpus): select from prefix sums, defer fillers, force only new entries · Updated 2026-09-29 20:32:42 +00:00    crytic

5
13
 ZIP  TAR.GZ
perf/integer-weighted-choice

7bb5a4af2c · docs(random): keep the comments lean · Updated 2026-09-29 20:32:42 +00:00    crytic

5
12
 ZIP  TAR.GZ
perf/assertion-test-checks

238fe584ea · fix(replay): preserve assertion event classification · Updated 2026-09-29 20:32:23 +00:00    crytic

5
9
 ZIP  TAR.GZ
perf/rts-sizing-and-coverage-cache

0f544b974f · refactor(exec): give Echidna.Exec an explicit export list · Updated 2026-09-29 20:13:57 +00:00    crytic

5
4
 ZIP  TAR.GZ
perf/coverage-edges

caddd5c468 · feat(coverage): optional jump-edge coverage for novelty · Updated 2026-09-10 12:55:48 +00:00    crytic

11
23
 ZIP  TAR.GZ
perf-update-hevm

da5bca781d · build: compile hevm with -O2 in the nix and stack release builds · Updated 2026-09-09 18:58:45 +00:00    crytic

11
3
 ZIP  TAR.GZ
test-fix-flaky

947f59c72d · tests: extreme: bump limit to 20000 · Updated 2026-09-08 20:21:13 +00:00    crytic

11
1
 ZIP  TAR.GZ
dev-agents-3

4530f6f838 · Merge remote-tracking branch 'refactor/agent-typeclass' into dev-agents-2 · Updated 2026-08-13 23:54:12 +00:00    crytic

22
91
 ZIP  TAR.GZ
dev-agents-2

0da0cbfde9 · Merge remote-tracking branch 'origin/refactor/campaign-decomposition' into dev-agents · Updated 2026-08-12 22:51:07 +00:00    crytic

22
80
 ZIP  TAR.GZ
dev-agents

28c12a6b08 · Merge remote-tracking branch 'origin/master' into dev-agents · Updated 2026-08-05 13:20:37 +00:00    crytic

25
66
 ZIP  TAR.GZ
leaks-ui

12cf29da46 · Force test result strictly where the test is stored · Updated 2026-06-11 15:10:23 +00:00    crytic

37
5
 ZIP  TAR.GZ
rappie/bugfix/shrinking-desync

a412eb6c1e · Add regression test for time-advance-on-revert · Updated 2026-06-03 19:46:12 +00:00    crytic

41
4
 ZIP  TAR.GZ
better-work-dist

e692f0a968 · Shared WorkPool with adaptive batch sizing for fuzz workers · Updated 2026-03-27 23:42:41 +00:00    crytic

48
1
 ZIP  TAR.GZ
removeReverts2

23190ab118 · corpus mutation to remove reverts · Updated 2026-03-16 09:31:37 +00:00    crytic

62
1
 ZIP  TAR.GZ
simplifyExecTx

183e14202a · Simplify Exec.hs · Updated 2026-03-16 08:08:57 +00:00    crytic

62
1
 ZIP  TAR.GZ
dev-invariant-detection

8e7c8c0e21 · Added simple invariant detection to check for invariant_ functions after each transaction produced · Updated 2026-03-04 18:37:27 +00:00    crytic

70
1
 ZIP  TAR.GZ
dev-corpus-prefill

f575f59b62 · allow holes in the extracted txs · Updated 2026-02-05 15:01:34 +00:00    crytic

72
14
 ZIP  TAR.GZ
hevm-etch

b09b7b7514 · Update hevm to 41e6d1304411749ea8c816d131991663b5dca67a · Updated 2026-01-27 12:59:36 +00:00    crytic

73
2
 ZIP  TAR.GZ
hevm-concrete-exec

bc29db81fe · fix · Updated 2025-12-16 09:31:31 +00:00    crytic

95
8
 ZIP  TAR.GZ