[Certora] midnight tokens - #10

Draft

QGarchery wants to merge 21 commits into

mainfrom

certora-midnight-tokens

Commits on Jun 11, 2026

initial rule
QGarchery
committed
78e3bfe
first spec
QGarchery
committed
e00cc09
install submodules for certora
QGarchery
committed
c74733f
recursive for verification
QGarchery
committed
a7150ea
fix spec
QGarchery
committed
7f6388a
summarize pullToken and tickToPrice
QGarchery
committed
68993ef
summarize havoced functions
QGarchery
committed
3997efb

Commits on Jun 12, 2026

persistent
QGarchery
committed
4b5a73d
methods summary
QGarchery
committed
c2cc984
minimal summaries
QGarchery
committed
7202615
remove args not needed
QGarchery
committed
729d88e
add other rules
QGarchery
committed
ccbd829
simplifications
QGarchery
committed
497ab8f
address different trick
QGarchery
committed
5fb133b
quick fix
QGarchery
committed
ea8d8eb

Commits on Jun 15, 2026

tweak
QGarchery
committed
2fcdf58
config fix
QGarchery
committed
075d59f
lint conf file
QGarchery
committed
99379e5

Commits on Jul 9, 2026

Merge branch 'main' into certora-midnight-tokens
MathisGD
authored
568308b

Commits on Aug 28, 2026

Merge remote-tracking branch 'origin/main' into certora-midnight-tokens
claude
committed
849da94
fix: adapt to renames from main
claude
committed
c25a08e