Viewing all changes in revision 710.
- Committer: Danil Sokolov
- Date: 2016-01-06 18:25:18 UTC
- Revision ID: danilovesky@gmail.com-20160106182518-h93u2mbb9g66wvl3
Contraction of Petri net and STG transitions is (temporary) disabled as it does not produce correct results.
expand all
collapse all
added
removed
