Viewing all changes in revision 939.
- Committer: Jiri Srba
- Date: 2016-12-11 20:00:52 UTC
- mfrom: (937.2.1 reductionrules)
- Revision ID: srba@cs.aau.dk-20161211200052-jtn5s0vpgdil86g4
merged in lp:~tapaal-contributor/tapaal/reduction-rules-in-GUI-fix-1648084 that adds rule E to statistics for structural net reductions (for Peter's new NewParser untimed engine)
expand all
collapse all
added
removed
