Repository navigation

Reuse solver results across verification runs - #430

Merged

CatarinaGamboa merged 3 commits into

mainfrom

perf/query-cache

Oct 29, 2026

Merged

Reuse solver results across verification runs#430
CatarinaGamboa merged 3 commits into
mainfrom
perf/query-cache

Commits on Oct 27, 2026
- Reuse solver results across verification runs
  
  CatarinaGamboa
  and
  claude
  committed
  80a1d94
- Test that the solver cache follows edits to everything a query depends on
  
  CatarinaGamboa
  and
  claude
  committed
  2d6d5ca
- Never rename enum constants in solver cache keys, and simplify the cache
  
  CatarinaGamboa
  and
  claude
  committed
  9e68631