Code : VerifyDTAPN

VerifyDTAPN

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

See all merge proposals.

VerifyDTAPN has 14 active branches owned by 3 people and 2 teams. There were 0 commits in the last month.

Bazaar branches

Name	Status	Last Modified	Last Commit
lp:verifydtapn Series: trunk	1 Development	2020-10-31 19:01:28 UTC 2020-10-31	341. increased version number to 3.4.1 Author: Jiri Srba Revision Date: 2020-10-31 19:01:28 UTC increased version number to 3.4.1
lp:verifydtapn/d3.4 Series: d3.4	1 Development	2020-10-31 19:00:00 UTC 2020-10-31	341. increased version number to 3.4.1 Author: Jiri Srba Revision Date: 2020-10-31 19:00:00 UTC increased version number to 3.4.1
lp:verifydtapn/d3.3 Series: d3.3	1 Development	2018-01-24 15:04:58 UTC 2018-01-24	339. Released version 3.3.0 Author: Jiri Srba Revision Date: 2018-01-24 15:04:58 UTC Released version 3.3.0
lp:verifydtapn/d3.2 Series: d3.2	2 Mature	2017-10-05 07:06:56 UTC 2017-10-05	338. Released version of d3.2.1 Author: Jiri Srba Revision Date: 2017-10-05 07:06:56 UTC Released version of d3.2.1
lp:verifydtapn/d3.1 Series: d3.1	2 Mature	2015-08-20 07:20:54 UTC 2015-08-20	319. merged branch fixing "delay forever" ... Author: Jiri Srba Revision Date: 2015-08-20 07:20:54 UTC merged branch fixing "delay forever" when using timedarts bug
lp:verifydtapn/d3.0 Series: d3.0	2 Mature	2014-04-08 08:25:58 UTC 2014-04-08	300. commiting generated files Author: Jiri Srba Revision Date: 2014-04-08 08:25:58 UTC commiting generated files
lp:verifydtapn/d2.1 Series: d2.1	2 Mature	2014-01-25 21:18:40 UTC 2014-01-25	290. merged in branch fixing a trace gener... Author: Jiri Srba Revision Date: 2014-01-25 21:18:40 UTC merged in branch fixing a trace generation issues for EG queries and increased verison number to d2.1.1
lp:verifydtapn/d2.0 Series: d2.0	2 Mature	2013-04-30 20:10:21 UTC 2013-04-30	281. This is the 2.0 version released with... Author: Jiri Srba Revision Date: 2013-04-30 20:10:21 UTC This is the 2.0 version released with TAPAAL 2.3.0
lp:verifydtapn/d1.0 Series: d1.0	2 Mature	2012-12-05 11:53:13 UTC 2012-12-05	274. merged in the trunk fixing couple of ... Author: Jiri Srba Revision Date: 2012-12-05 11:53:13 UTC merged in the trunk fixing couple of issues before the release of 1.0.1
lp:~marmux/verifydtapn/verifydtapn-reach-act	0 Experimental	2019-03-27 15:16:40 UTC 2019-03-27	349. inverting option -ra, disabling now Author: muniz Revision Date: 2019-03-26 12:27:27 UTC inverting option -ra, disabling now
lp:~gblegmand/verifydtapn/DistanceMeasure	1 Development	2018-12-09 18:27:47 UTC 2018-12-09	1. Added project files Author: Gideon Blegmand Revision Date: 2018-12-09 18:27:47 UTC Added project files
lp:~verifydtapn-contributers/verifydtapn/safety-games-boostrap	1 Development	2016-09-10 15:09:29 UTC 2016-09-10	367. Bootstrapping Author: Peter Gjøl Jensen Revision Date: 2016-01-05 21:38:13 UTC Bootstrapping
lp:~verifydtapn-contributers/verifydtapn/BDDPassedAndWaitingList	0 Experimental	2013-11-13 10:56:59 UTC 2013-11-13	295. added gbc Author: Peter Gjøl Jensen Revision Date: 2013-11-13 10:56:59 UTC added gbc
lp:~verifydtapn-contributers/verifydtapn/BDDPassedList	0 Experimental	2013-09-13 15:43:33 UTC 2013-09-13	291. seemingly working implementation of t... Author: Peter Gjøl Jensen Revision Date: 2013-09-13 15:42:51 UTC seemingly working implementation of the BDD

You can't create new branches for VerifyDTAPN.

Import a branch