Add division scalability example to debugging-slow-proofs guide - #4781

Open

CYJ904 wants to merge 7 commits into

model-checking:mainfrom

CYJ904:docs/division-scalability-example

Commits on Sep 6, 2026

Add division scalability example to debugging-slow-proofs guide
Yanjun Chen
committed
80fcb3e

Commits on Sep 7, 2026

Potential fix for pull request finding

CYJ904
and
Copilot
authored
3c8a81d
Add overflow assumption to divisor-only example
Yanjun Chen
committed
9030e01
Merge branch 'docs/division-scalability-example' of https://github.com/CYJ904/kani into docs/division-scalability-example
Yanjun Chen
committed
f99e0e7

Commits on Sep 16, 2026

Soften performance claim wording in division-bound-both-operands example
Yanjun Chen
committed
f47fdff
Merge branch 'main' into docs/division-scalability-example
CYJ904
authored
d58de64

Commits on Sep 17, 2026

Improve clarity on performance of large value operations

feliperodri
and
Copilot
authored
2d29b6b