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 14 active branches owned by 1 person and 6 teams. There were 74 commits by 6 people in the last month.

Bazaar branches

Name Status Last Modified Last Commit
lp:tapaal
Series: trunk
bug 1 Development 2018-04-16 12:18:47 UTC 2018-04-16
956. merged in branch lp:~tapaal-contribut...

Author: Jiri Srba
Revision Date: 2018-04-16 12:18:47 UTC

merged in branch lp:~tapaal-contributor/tapaal/select-all-1763193 enabeling ctrl/cmd-A on all components in focus

lp:tapaal/3.4
Series: 3.4
2 Mature 2018-04-16 11:03:15 UTC 2018-04-16
954. merged in branch lp:~yrke/tapaal/tapa...

Author: Jiri Srba
Revision Date: 2018-04-16 11:03:15 UTC

merged in branch lp:~yrke/tapaal/tapaal-fix-1756865 fixing Mac integration with Java 9 (by catching the exception and ignoring it)

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:~yrke/tapaal/guirefactor 1 Development 2018-04-22 19:43:43 UTC 15 hours ago
1001. code cleanup, private fields and func...

Author: Kenneth Yrke Jørgensen
Revision Date: 2018-04-22 19:43:43 UTC

code cleanup, private fields and functions, code simplfy

lp:~yrke/tapaal/tapaal-fix-1764383-MacHandling 1 Development 2018-04-22 16:45:05 UTC 18 hours ago
954. Merged with trunk, resolved conflict

Author: Kenneth Yrke Jørgensen
Revision Date: 2018-04-22 16:45:05 UTC

Merged with trunk, resolved conflict

lp:~tapaal-contributor/tapaal/Batch-export-PNML-XML-queries-1754675 bug(Has a merge proposal) 1 Development 2018-04-21 12:07:36 UTC 2018-04-21
960. Change filebrowser heading

Author: <email address hidden>
Revision Date: 2018-04-21 12:07:36 UTC

Change filebrowser heading

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

114 of 14 results
You can't create new branches for TAPAAL.