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

Bazaar branches

Name Status Last Modified Last Commit
lp:tapaal
Series: trunk
bug 1 Development 2018-08-14 13:06:51 UTC 2018-08-14
975. merged in branch lp:~tapaal-contribut...

Author: Jiri Srba
Revision Date: 2018-08-14 13:06:51 UTC

merged in branch lp:~tapaal-contributor/tapaal/highlight-names-on-select-1786755
that highlights names of selected places and transitions

lp:tapaal/3.4
Series: 3.4
2 Mature 2018-06-29 07:34:20 UTC 2018-06-29
964. increased version number to 3.4.3 and...

Author: Jiri Srba
Revision Date: 2018-06-29 07:34:20 UTC

increased version number to 3.4.3 and min version for verifypn to 3.0.1

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-contributor/tapaal/copy-paste-dev-branch 1 Development 2018-08-08 13:06:26 UTC 2018-08-08
966. Copy/paste places

Author: <email address hidden>
Revision Date: 2018-08-08 13:05:31 UTC

Copy/paste places

lp:~tapaal-contributor/tapaal/batch-processing-for-workflows-1272214 bug 1 Development 2018-08-07 12:11:50 UTC 2018-08-07
968. Add more stats to workflow batch

Author: <email address hidden>
Revision Date: 2018-08-07 12:11:50 UTC

Add more stats to workflow batch

lp:~yrke/tapaal/tapaal-DatalayerClenup (Has a merge proposal) 1 Development 2018-08-05 16:25:47 UTC 2018-08-05
976. Merged with lp:~yrke/tapaal/tapaal-re...

Author: Kenneth Yrke Jørgensen
Revision Date: 2018-08-05 16:25:47 UTC

Merged with lp:~yrke/tapaal/tapaal-removeObservableDataLayer

lp:~yrke/tapaal/tapaal-debuginterface 1 Development 2018-07-03 11:15:44 UTC 2018-07-03
1137. inplemented skeleton structor of the ...

Author: Kenneth Yrke Jørgensen
Revision Date: 2018-07-03 11:14:33 UTC

inplemented skeleton structor of the debug menu

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

116 of 16 results
You can't create new branches for TAPAAL.