Repository navigation

Scaling families for the program dimensions where verification cost is non-linear - #16

Open

JonasAlaif wants to merge 3 commits into

mainfrom

scaling-families

Open

Scaling families for the program dimensions where verification cost is non-linear#16
JonasAlaif wants to merge 3 commits into
mainfrom
scaling-families

Commits on Oct 13, 2026
- Scaling families for the program dimensions where verification cost is non-linear
  
  JonasAlaif
  authored and
  The-Ray-Man
  committed
  438d2a0
- Scaling expected failures: record Silicon's agreement on the loops points
  
  JonasAlaif
  authored and
  The-Ray-Man
  committed
  71fe34f
- moved and regenerated scaling tests.
  The-Ray-Man
  committed
  9f361b1