branches with status:
Name Status Last Modified Last Commit
lp:verifytapn bug 1 Development 2017-09-08 10:58:19 UTC 2017-09-08
153. added compiles scripts for mac that w...

Author: Jiri Srba
Revision Date: 2017-09-08 10:58:19 UTC

added compiles scripts for mac that work in 2017

lp:~verifytapn/verifytapn/debugging 1 Development 2012-03-11 13:37:35 UTC 2012-03-11
80. added more debugging info about marki...

Author: Jiri Srba
Revision Date: 2012-03-11 13:37:35 UTC

added more debugging info about markings going to/from PWList

lp:verifytapn/1.0 2 Mature 2011-10-08 18:02:56 UTC 2011-10-08
77. shortened the message about removal o...

Author: Jiri Srba
Revision Date: 2011-10-08 18:02:56 UTC

shortened the message about removal of orphan transitions

lp:~verifytapn/verifytapn/trunk-tests 1 Development 2011-04-12 08:26:29 UTC 2011-04-12
25. added removeTokens test cases

Author: Morten Jacobsen
Revision Date: 2011-04-12 08:26:29 UTC

added removeTokens test cases

14 of 4 results