feat: certora cvl v0.5.11 - #1292

Open

yan-man wants to merge 22 commits into

mainfrom

feat/certora-cvl-v0.5.11

Commits on Mar 26, 2026

Feat/certora cvl (#1288)

nd-certora
and
DhairyaSethi
authored
1feea7c

Commits on Mar 28, 2026

Merge branch 'main' into feat/certora-cvl-v0.5.11
yan-man
committed
91d00ed
ci: rm flaky spec; workflow to hide certora comment
yan-man
committed
a57acf9
fix: comment out flaky specs
yan-man
committed
044f695

Commits on Mar 30, 2026

ci: minimize comment classifier
yan-man
committed
560e6ba
docs: accounting invariant; update readme
yan-man
committed
48aa927
fix: restore prev failing specs
yan-man
committed
2fd1b90

Commits on Mar 31, 2026

chore: rm CI workflow
yan-man
committed
1f74ad3

Commits on Apr 1, 2026

fix: import
yan-man
committed
c6bb8c1

Commits on Apr 3, 2026

Feat/certora cvl v0.5.11 (#1296)
nd-certora
authored
51f04e5
Feat/certora cvl v0.5.11 (#1298)
nd-certora
authored
dcd67ad
fix: rm unneeded harness; CI comment always
yan-man
committed
712c003
CI: flaky specs
yan-man
committed
adba16f

Commits on Apr 8, 2026

fix: clarify invariant
yan-man
committed
5876799
fix: rm spoke harness from readme
yan-man
committed
e2cc029
chore: revert changes; port to docs pr
yan-man
committed
52b2431
Merge branch 'main' into feat/certora-cvl-v0.5.11
yan-man
committed
87e03ba

Commits on Apr 14, 2026

fix: rm flaky spec
yan-man
committed
7c3067f

Commits on May 16, 2026

feat: links
yan-man
committed
5805427
feat: include public URL links
yan-man
committed
009859c

Commits on May 18, 2026

feat: comments on rules
yan-man
committed
c8498f6

Commits on May 19, 2026

feat: links to runs
yan-man
committed
a4cd8f6