Name | Status | Last Modified | Last Commit | |
---|---|---|---|---|
lp:verifytapn | 1 Development | 2017-09-08 10:58:19 UTC |
153.
added compiles scripts for mac that w...
Author:
Jiri Srba
added compiles scripts for mac that work in 2017 |
|
lp:~verifytapn/ |
1 Development | 2012-03-11 13:37:35 UTC |
80.
added more debugging info about marki...
Author:
Jiri Srba
added more debugging info about markings going to/from PWList |
|
lp:verifytapn/1.0 | 2 Mature | 2011-10-08 18:02:56 UTC |
77.
shortened the message about removal o...
Author:
Jiri Srba
shortened the message about removal of orphan transitions |
|
lp:~verifytapn/ |
1 Development | 2011-04-12 08:26:29 UTC |
25.
added removeTokens test cases
Author:
Morten Jacobsen
added removeTokens test cases |
1 → 4 of 4 results | First • Previous • Next • Last |