~tapaal-red/verifypn/rule-l

Viewing all changes in revision 248.

merged in lp:~tapaal-ltl/verifypn/fireable-empty-preset-fix fixing fireability predicate for transitions with empty preset

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: