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
Files
master
echidna/lib
T
History
Gustavo Grieco 5adfc83986 Update hevm with arithmetic abstraction and execution optimizations (#1639) 
* Update hevm and enable arithmetic abstraction internally

* Test arithmetic abstraction on multiplication monotonicity

* Optimize hevm while preserving symbolic Keccak preimages

Integrate the optimization settings and conditional preimage recording from PR #1621. Keep recording throughout symbolic campaigns and verify that both solvers recover earlier transaction inputs after replaying a symbolic counterexample.
2026-10-08 21:31:16 +02:00
..
Echidna
Update hevm with arithmetic abstraction and execution optimizations (#1639)
2026-10-08 21:31:16 +02:00
Echidna.hs
Inter-worker message bus and per-function call sampling (#1604)
2026-08-31 12:29:51 +02:00