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 0 commits in the last month.

Bazaar branches

Name Status Last Modified Last Commit
lp:verifytapn
Series: trunk
bug 1 Development 2014-06-23 13:50:20 UTC 2014-06-23
151. added UPPAAL DBL library

Author: Jiri Srba
Revision Date: 2014-06-23 13:50:20 UTC

added UPPAAL DBL library

lp:verifytapn/1.3
Series: 1.3
2 Mature 2014-06-24 06:39:45 UTC 2014-06-24
151. This is the 1.3.0 released version of...

Author: Jiri Srba
Revision Date: 2014-06-16 18:00:02 UTC

This is the 1.3.0 released version of the engine

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.