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

TAPAAL has 1 active review.

TAPAAL has 15 active branches owned by 1 person and 6 teams. There were 54 commits by 2 people in the last month.

Bazaar branches

Name Status Last Modified Last Commit
lp:tapaal
Series: trunk
bug 1 Development 2018-05-28 12:26:27 UTC 2018-05-28
963. added older commits to svn repository...

Author: Jiri Srba
Revision Date: 2018-05-28 12:26:27 UTC

added older commits to svn repository (historical data)

lp:tapaal/3.4
Series: 3.4
2 Mature 2018-05-14 13:29:33 UTC 2018-05-14
963. increased version number to 3.4.2 and...

Author: Jiri Srba
Revision Date: 2018-05-14 13:29:33 UTC

increased version number to 3.4.2 and min req. number of verifypn to 3.0.0

lp:tapaal/3.3
Series: 3.3
2 Mature 2017-10-05 07:04:03 UTC 2017-10-05
948. Release version of 3.3.0

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

Release version of 3.3.0

lp:tapaal/anniversary-next10
Series: anniversary-next10
bug 1 Development 2018-06-01 15:20:47 UTC 2018-06-01
1136. mereged with trunk

Author: Kenneth Yrke Jørgensen
Revision Date: 2018-06-01 15:20:47 UTC

 mereged with trunk

lp:~yrke/tapaal/tapaal-debuginterface 1 Development 2018-06-24 15:12:35 UTC 2018-06-24
1136. mereged with trunk

Author: Kenneth Yrke Jørgensen
Revision Date: 2018-06-01 15:20:47 UTC

 mereged with trunk

lp:~yrke/tapaal/tapaal-mousewheelzoom-bug1778409 bug(Has a merge proposal) 1 Development 2018-06-24 14:45:05 UTC 2018-06-24
1137. Implemented ctrl+scrollwheel zooms in...

Author: Kenneth Yrke Jørgensen
Revision Date: 2018-06-24 14:44:34 UTC

Implemented ctrl+scrollwheel zooms in/out

lp:~yrke/tapaal/guirefactor-playground bug 1 Development 2018-06-24 14:38:13 UTC 2018-06-24
1158. Fixed zooming by ctrl+mousewheel, nor...

Author: Kenneth Yrke Jørgensen
Revision Date: 2018-06-24 14:34:58 UTC

Fixed zooming by ctrl+mousewheel, normal scrolling still works

lp:~tapaal-contributor/tapaal/ctl-game 1 Development 2017-07-25 10:08:30 UTC 2017-07-25
1041. Save verification command to be able ...

Author: Mads Johannsen
Revision Date: 2017-07-25 10:08:30 UTC

Save verification command to be able to re-execute it in game mode

lp:~tapaal-compworkflow/tapaal/tapaal-compworkflow-new 1 Development 2015-09-29 19:48:11 UTC 2015-09-29
962. Workflows are now directly scaled wit...

Author: Christoffer Moesgaard
Revision Date: 2015-09-29 19:48:33 UTC

Workflows are now directly scaled without overapprox. PTries are used where applicable.

lp:~tapaal-contributor/tapaal/TAG 1 Development 2015-09-16 16:39:49 UTC 2015-09-16
921. removed dead options

Author: Peter Gjøl Jensen
Revision Date: 2015-09-16 16:39:49 UTC

removed dead options

lp:~tapaal-compworkflow/tapaal/tapaal-compworkflow 1 Development 2015-06-08 07:27:12 UTC 2015-06-08
961. Merge

Author: Christoffer Moesgaard
Revision Date: 2015-06-08 07:27:46 UTC

Merge

lp:~tapaal-reduction/tapaal/tapaal-reduction-3.1 1 Development 2014-12-01 10:58:53 UTC 2014-12-01
915. merged with trunk

Author: Jiri Srba
Revision Date: 2014-12-01 10:58:53 UTC

merged with trunk

lp:~tapaal-contributor/tapaal/BDDtestBranch 0 Experimental 2013-11-15 19:16:56 UTC 2013-11-15
826. Engine output is discarded.

Author: Mathias Grund Sørensen
Revision Date: 2013-11-15 19:15:50 UTC

Engine output is discarded.

lp:~tapaal-workflow/tapaal/swlWorkFlow 1 Development 2012-12-04 11:22:56 UTC 2012-12-04
748. Added maintanence and kill set

Author: Thomas Birch Mogensen
Revision Date: 2012-12-04 11:22:56 UTC

Added maintanence and kill set

lp:~yrke/tapaal/build-scripts 1 Development 2012-03-12 19:54:53 UTC 2012-03-12
691. Added some test release/build scripts

Author: Kenneth Yrke Jørgensen
Revision Date: 2012-03-12 19:54:01 UTC

Added some test release/build scripts

115 of 15 results
You can't create new branches for TAPAAL.