Code : VerifyTAPN

VerifyTAPN

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.

See all merge proposals.

VerifyTAPN has 10 active branches owned by 3 people and 3 teams. There were 0 commits in the last month.

Bazaar branches

Name	Status	Last Modified	Last Commit
lp:verifytapn Series: trunk	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:~peter-gjoel/verifytapn/verifytapn	1 Development	2020-03-20 16:42:35 UTC 2020-03-20	161. removing un-needed shared pointers. B... Author: Peter Gjøl Jensen Revision Date: 2020-03-20 16:42:35 UTC removing un-needed shared pointers. Better, but not good structure.
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

You can't create new branches for VerifyTAPN.

Import a branch