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

Commits

  1. Commits on Nov 4, 2026