Skip to content

Implement reduceTransitions to allow efficient accumulation over transitions#78

Open
merkste wants to merge 3 commits intoprismmodelchecker:masterfrom merkste:reduce-transitions
+390-71

Commits

Commits on Jun 15, 2020