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 2 active reviews.

TAPAAL has 19 active branches owned by 1 person and 7 teams. There were 50 commits by 6 people in the last month.

Bazaar branches

Name Status Last Modified Last Commit
lp:tapaal
Series: trunk
bug 1 Development 2018-10-09 12:50:41 UTC 2018-10-09
977. Merged in branch lp:~yrke/tapaal/tapa...

Author: Jiri Srba
Revision Date: 2018-10-09 12:50:41 UTC

Merged in branch lp:~yrke/tapaal/tapaal-DatalayerClenup doing cleanup in Datalayer
and PNML loading

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:~cpn-gui/tapaal/importCPN 1 Development 2018-10-15 11:21:05 UTC 5 hours ago
989. Merged from r986 lp:~cpn-gui/tapaal/d...

Author: Thomas Frandsen
Revision Date: 2018-10-15 11:21:05 UTC

Merged from r986 lp:~cpn-gui/tapaal/declarationsGUI

lp:~yrke/tapaal/placetransitionobjecthandler-refactor (Has a merge proposal) 1 Development 2018-10-14 19:12:41 UTC 21 hours ago
1029. Made transition internals protected

Author: Kenneth Yrke Jørgensen
Revision Date: 2018-10-14 19:12:41 UTC

Made transition internals protected

lp:~cpn-gui/tapaal/declarationsGUI 1 Development 2018-10-12 13:35:30 UTC 2018-10-12
986. added declarations to the TAPNNETNETW...

Author: Mark Glavind
Revision Date: 2018-10-12 13:35:30 UTC

added declarations to the TAPNNETNETWORK model and started on the GUI implementation

lp:~tapaal-contributor/tapaal/shared-places-transitions-multi-remove-1780087 bug(Has a merge proposal) 1 Development 2018-09-27 14:31:57 UTC 2018-09-27
977. Each component now only shows once. f...

Author: <email address hidden>
Revision Date: 2018-09-27 14:31:57 UTC

Each component now only shows once. fix exception message

lp:~yrke/tapaal/DeleteAction-removeselectionmanager-deleteSelection (Has a merge proposal) 1 Development 2018-09-24 11:36:07 UTC 2018-09-24
1004. Removed method deleteSelection from s...

Author: Kenneth Yrke Jørgensen
Revision Date: 2018-09-24 11:34:03 UTC

Removed method deleteSelection from selection manager

The function seems to be redundent with the seleteSelection in
undo manager. Also using this implementation only will break delete.
Seems like old code that has been forgotten

lp:~cpn-gui/tapaal/cpn-editor 1 Development 2018-09-21 12:45:47 UTC 2018-09-21
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-contributor/tapaal/batch-processing-for-workflows-1272214 bug(Has a merge proposal) 1 Development 2018-09-12 11:47:55 UTC 2018-09-12
973. use verifyPN for untimed nets and ver...

Author: <email address hidden>
Revision Date: 2018-09-12 11:47:55 UTC

use verifyPN for untimed nets and verifyTAPN for timed nets on deadlock and state space in batch

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:~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:~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

119 of 19 results
You can't create new branches for TAPAAL.