[Certora] SumOfCredits equals TotalUnits plus Fees. - #1063

Open

jhoenicke wants to merge 14 commits into

mainfrom

certora/sumofcredits

Commits on Jul 13, 2026

Spec: SumOfCredits equals TotalUnits plus Fees.
jhoenicke
committed
9963194
Ran formatter
jhoenicke
committed
5345d1b
Don't filter withdraw, lint configs
jhoenicke
committed
dcdd4c8
Clean up method block and fix it
jhoenicke
committed
dd5df1d

Commits on Aug 4, 2026

Merge remote-tracking branch 'origin/main' into certora/sumofcredits
jochencertora
committed
0674915

Commits on Aug 17, 2026

Some changes from code review
jochencertora
committed
b47f138

Commits on Aug 28, 2026

Merge remote-tracking branch 'origin/main' into certora/sumofcredits
jochencertora
committed
7ba2ea3
Clean-up only
jochencertora
committed
a3d61a0
Use MulDivAxioms.
jochencertora
committed
f4db2d1
Apply suggestion from @QGarchery

jhoenicke
and
QGarchery
authored
5cc00d2
Applied changes from CodeReview
jochencertora
committed
0be12e8
Ensure summary of UpdatePosition matches proved properties
jochencertora
committed
1908960
Fix accidental revert of bugfix
jochencertora
committed
1a38e11
Merge branch 'main' into certora/sumofcredits
jhoenicke
authored
f83d803