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

..

mcp

test: drive the MCP server the way its clients do (#1608)

2026-09-29 17:10:51 -03:00

solidity

Update hevm with arithmetic abstraction and execution optimizations (#1639)

2026-10-08 21:31:16 +02:00