Skip to content

Compute loop typestates as a fixpoint over iterations - #434

Merged
CatarinaGamboa merged 9 commits into
mainfrom
fix/427-loop-state-fixpoint
Nov 3, 2026
Merged

Compute loop typestates as a fixpoint over iterations#434
CatarinaGamboa merged 9 commits into
mainfrom
fix/427-loop-state-fixpoint

Say in the StateSet Javadoc that an object may be in no state of a set

a06f3c4
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar