Certora formal verification rules#19

Closed

aehyvari wants to merge 15 commits intoeuler-xyz:masterfrom

Certora:certora/specs

Commits on Jul 24, 2025

Certora formal verification rules

christiane-certora
authored and
aehyvari
committed
adjust patch to new code version
christiane-certora
committed

Commits on Jul 25, 2025

change to LostAssets rule - temporarily mistake

raz-certora
authored and
aehyvari
committed

Commits on Jul 27, 2025

Changes to rules based on new commit from them - all rules should verify.
raz-certora
committed

Commits on Jul 28, 2025

Commits on Aug 12, 2025

Commits on Aug 14, 2025