Skip to content

Ask the solver only about the state sets a refinement names - #475

Merged
CatarinaGamboa merged 1 commit into
mainfrom
state-hints-relevant-guards
Nov 4, 2026
Merged

Ask the solver only about the state sets a refinement names#475
CatarinaGamboa merged 1 commit into
mainfrom
state-hints-relevant-guards

Ask the solver only about the state sets a refinement names

bc2ad0c
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar