Viewing all changes in revision 44.2.40.
- Committer: Jiri Srba
- Date: 2014-04-01 18:54:58 UTC
- mto: This revision was merged to the branch mainline in revision 51.
- Revision ID: srba@cs.aau.dk-20140401185458-8yorux4l4xwblvuh
Added TAPAAL initialization script of the competition and disabled printing of queries
- files added:
- Scripts
- files modified:
- VerifyPN.cpp
expand all
collapse all
added
removed
