Merge audit branches: zellic-audit => veridise-audit#188

Closed

cdrappi wants to merge 146 commits intoseismicfrom

Commits on Jan 16, 2026

CI: run semantic tests with optimizer on for 200 runs as well (#99)
cdrappi
authored
Test Ver[762]: add KnownStorage tests that should fail with the optimizer enabled (#98)
cdrappi
authored
Fix Ver[762]: KnownStorage may drop revert (#97)
cdrappi
authored
Optimizer bug: in UnusedStorageEliminator, CSTORE is indeed a storage write (#101)
cdrappi
authored
CI (zellic-audit): run semantic tests with optimizer on for 200 runs as well (#103)
cdrappi
authored
Fix: in UnusedStorageEliminator, CSTORE is indeed a valid storage write (#108)
cdrappi
authored
Test: GasMeter should know CLOAD/CSTORE's fix gas costs (#109)
cdrappi
authored
Fix: GasMeter should handle CLOAD/CSTORE operations (#104)
cdrappi
authored

Commits on Jan 20, 2026

Commits on Jan 22, 2026

Commits on Jan 26, 2026

Commits on Jan 27, 2026

Commits on Feb 2, 2026

fix(yul-optimiser): dont hoist sloads since they can revert (#151)
samlaf
authored

Commits on Feb 3, 2026

Commits on Feb 5, 2026

Commits on Feb 6, 2026

Commits on Feb 10, 2026

Commits on Feb 11, 2026

Commits on Feb 14, 2026