You can browse the source code for the development focus branch or get a copy of the branch using the command:
bzr branch lp:verifytapn

There are download files available for VerifyTAPN.

VerifyTAPN has 9 active branches owned by 2 people and 3 teams. There were 1 commit by 1 person in the last month.

Bazaar branches

Name Status Last Modified Last Commit
lp:verifytapn
Series: trunk
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/1.3
Series: 1.3
2 Mature 2017-10-05 07:05:23 UTC 2017-10-05
153. Released version of 1.3.0

Author: Jiri Srba
Revision Date: 2017-10-05 07:05:23 UTC

Released version of 1.3.0

lp:verifytapn/1.2
Series: 1.2
2 Mature 2013-04-30 20:11:19 UTC 2013-04-30
150. This is the 1.2 version released with...

Author: Jiri Srba
Revision Date: 2013-04-30 20:11:19 UTC

This is the 1.2 version released with TAPAAL 2.3.0

lp:verifytapn/1.1
Series: 1.1
2 Mature 2012-07-23 14:38:04 UTC 2012-07-23
148. This is the released version 1.1.1.

Author: Jiri Srba
Revision Date: 2012-07-23 14:38:04 UTC

This is the released version 1.1.1.

lp:verifytapn/1.0
Series: 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:~sravn06/verifytapn/max-plus-datalocal 0 Experimental 2012-08-30 06:12:54 UTC 2012-08-30
174. readme updated with tplib info

Author: <email address hidden>
Revision Date: 2012-08-30 06:12:54 UTC

readme updated with tplib info

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:~d504a/verifytapn/maxplus 0 Experimental 2011-05-25 11:01:30 UTC 2011-05-25
160. extrapolation for 1-dim poly fixed

Author: Søren Ravn
Revision Date: 2011-05-25 11:01:30 UTC

extrapolation for 1-dim poly fixed

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

19 of 9 results
You can't create new branches for VerifyTAPN.