Skip to content

Tighten Kani proof bounds for solver tractability - #111

Merged
mikemaccana merged 1 commit into
mainfrom
claude/solana-examples-ci-failures-de67pd
Jul 14, 2026
Merged

Tighten Kani proof bounds for solver tractability#111
mikemaccana merged 1 commit into
mainfrom
claude/solana-examples-ci-failures-de67pd

prop-amm: bound the Kani harnesses so the weekly proofs terminate

d0ff21d
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar