certora: fix prover timeouts and spec cleanup - #46

Open

avniculae wants to merge 20 commits into

mainfrom

fix/certora-timeouts-and-spec-cleanup

Commits on Jul 10, 2026

Timeout fixing, upgrade certora-cli
shellygr
committed
5fede1c

Commits on Jul 13, 2026

Test balloon - no rule sanity none -> back to basic
shellygr
committed
51b9c60

Commits on Jul 14, 2026

Prove R4 unpinned via nondet mulDiv encoding with linear hints
shellygr
committed
abbd93c
remove vacuously true invariant
shellygr
committed
f9237ad
remove hints, not strictly necessary for timeouts resolution
shellygr
committed
b589059

Commits on Jul 16, 2026

Empty commit to retrigger CI
shellygr
committed
cb1624f
Splitting more rules
shellygr
committed
8e23e22

Commits on Aug 1, 2026

PR comments
shellygr
committed
6b89614
gsm and gsm4626 should be aligned here
shellygr
committed
4374145
fix constructor case with an explicit assumption
shellygr
committed
9a0e396

Commits on Aug 3, 2026

Commits on Aug 4, 2026

Commits on Aug 10, 2026

certora(ci): pin certora-run-action by commit, drop the prover_args note
avniculae
committed
d63123f