Implement reduceTransitions to allow efficient accumulation over transitions#78
Open
merkste wants to merge 3 commits intoprismmodelchecker:masterfrom
Open
Implement reduceTransitions to allow efficient accumulation over transitions#78merkste wants to merge 3 commits intoprismmodelchecker:masterfrom
merkste wants to merge 3 commits intoprismmodelchecker:masterfrom
Commits
Commits on Jun 15, 2020
- committed
Steffen Märcker - committedSteffen Märcker
- committedSteffen Märcker