Skip to content

Compute loop typestates as a fixpoint over iterations - #434

Open
CatarinaGamboa wants to merge 9 commits into
mainfrom
fix/427-loop-state-fixpoint
Open

Compute loop typestates as a fixpoint over iterations#434
CatarinaGamboa wants to merge 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