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

VerifyDTAPN has 11 active branches owned by 1 person and 2 teams. There were 0 commits in the last month.

Bazaar branches

Name Status Last Modified Last Commit
lp:verifydtapn
Series: trunk
bug 1 Development 2015-08-31 12:41:54 UTC 2015-08-31
334. changed version number to 3.2 (PTrie ...

Author: Jiri Srba
Revision Date: 2015-08-31 12:42:10 UTC

changed version number to 3.2 (PTrie in workflow analysis)

lp:verifydtapn/d3.2
Series: d3.2
2 Mature 2015-11-27 21:35:40 UTC 2015-11-27
335. released version d3.2.0

Author: Jiri Srba
Revision Date: 2015-11-27 21:35:40 UTC

released version d3.2.0

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:~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/safety-games 1 Development 2016-01-05 21:38:13 UTC 2016-01-05
365. refactoring before the storm

Author: Peter Gjøl Jensen
Revision Date: 2015-10-21 07:49:18 UTC

refactoring before the storm

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

111 of 11 results
You can't create new branches for VerifyDTAPN.