Skip to content

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

Never rename enum constants in solver cache keys, and simplify the cache

9e68631
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar