Repository navigation

CBMC: Use constant quantifier ranges in some loop invariants - #1495

Draft

mkannwischer wants to merge 2 commits into

mainfrom

cbmc-bounded-invariants

Draft

CBMC: Use constant quantifier ranges in some loop invariants #1495
mkannwischer wants to merge 2 commits into
mainfrom
cbmc-bounded-invariants

Commits on Oct 26, 2026
- CBMC: Use constant quantifier ranges in some loop invariants
  mkannwischer
  committed
  c9b527b
- CBMC: Run CaDiCaL proofs in the expensive job pool
  mkannwischer
  committed
  9b62763