[Certora] ContinuousFee Protections - #633

Merged

MathisGD merged 31 commits into

mainfrom

certora/pendingFee

Apr 30, 2026

Commits on Apr 2, 2026

added moer rules for offer.buy=false and takeDoesNotAffectThirdParties
bhargavbh
committed
d595508
fmt
bhargavbh
committed
584606e
fmt
bhargavbh
committed
018dfe5
simplified the rules
bhargavbh
committed
d24eedf
added comments
bhargavbh
committed
a420942

Commits on Apr 3, 2026

Merge branch 'main' into certora/pendingFee
MathisGD
authored
977c0ba

Commits on Apr 6, 2026

Commits on Apr 7, 2026

tuned comment
bhargavbh
committed
5158e10
generalised the rule: states for buyers/sellers and not makers/takers; assert updatePositionView are equal before and after take
bhargavbh
committed
b93e58b
tuned comment
bhargavbh
committed
fcfd984
Merge remote-tracking branch 'origin/main' into certora/pendingFee
bhargavbh
committed
54a986d
adapted to ratifications introduced in 588
bhargavbh
committed
00e6cea
no more separation of buyer and seller case
bhargavbh
committed
d3e93aa

Commits on Apr 15, 2026

clean up
bhargavbh
committed
a2d1824
improved pendingFeeDecreasesProportionallyForSeller
bhargavbh
committed
bf295f7
added comment: takeDoesNotAffectThirdParties
bhargavbh
committed
f909e1e
renamed spec and conf to ContinuousFee
bhargavbh
committed
3cb941c
added comment and fixed Filename error in conf
bhargavbh
committed
72db0a9
reverted back to <= in continuousFeeNotOverchargedForBuyer
bhargavbh
committed
70c8b1c

Commits on Apr 20, 2026

added back the NONDET summaries for callbacks
bhargavbh
committed
5ee934b
attempt at random seeds to resolve CI timeout issues
bhargavbh
committed
4288c79
tuned comment
bhargavbh
committed
8430a09

Commits on Apr 23, 2026

removed callback summaries
bhargavbh
committed
6925b5b

Commits on Apr 28, 2026

Commits on Apr 29, 2026

tuned comment
bhargavbh
committed
5c3a016
Merge branch 'main' into certora/pendingFee
bhargavbh
committed
119cbd7
added summary for hashOffer
bhargavbh
committed
851c270