Skip to content

Implement reduceTransitions to allow efficient accumulation over transitions - #78

Open
merkste wants to merge 3 commits into
prismmodelchecker:masterfrom
merkste:reduce-transitions
Open

Implement reduceTransitions to allow efficient accumulation over transitions#78
merkste wants to merge 3 commits into
prismmodelchecker:masterfrom
merkste:reduce-transitions

Implement forEachTransition in terms of reduce

c1f16b2
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs