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. See all merge proposals.

TAPAAL has 21 active branches owned by 3 people and 7 teams. There were 11 commits by 3 people in the last month.

Bazaar branches

Name Status Last Modified Last Commit
lp:tapaal
Series: trunk
bug 1 Development 2022-08-03 12:08:53 UTC
1173. merged in lp:~tapaal-contributor/tapa...

Author: <email address hidden>
Revision Date: 2022-08-03 12:08:53 UTC

merged in lp:~tapaal-contributor/tapaal/update-ltl-support fixing bug #1983371

lp:tapaal/3.9
Series: 3.9
1 Development 2022-08-03 12:11:08 UTC
1174. merged in lp:~tapaal-contributor/tapa...

Author: <email address hidden>
Revision Date: 2022-08-03 12:11:08 UTC

merged in lp:~tapaal-contributor/tapaal/update-ltl-support-3.9 fixing bug #1983371

lp:tapaal/3.8
Series: 3.8
1 Development 2021-10-11 20:02:07 UTC
1134. merged in lp:~tapaal-contributor/tapa...

Author: Jiri Srba
Revision Date: 2021-10-11 20:02:07 UTC

merged in lp:~tapaal-contributor/tapaal/shortcut-undo-1941839 and the ctrl-Z and ctrl-Y shortcuts now work in the query dialog

lp:~tapaal-contributor/tapaal/add-hyperltl-gui 1 Development 2022-07-03 18:52:34 UTC
1678. Added support for place/place compari...

Author: <email address hidden>
Revision Date: 2022-07-03 18:52:34 UTC

Added support for place/place comparisons and arithmetics when manually parsing queries using HyperLTL

lp:~tapaal-contributor/tapaal/remove-ghost-place (Has a merge proposal) 1 Development 2022-06-15 13:45:48 UTC
1141. Fixed GUI not supporting gamed nets f...

Author: Lena Ernstsen
Revision Date: 2022-06-15 13:45:48 UTC

Fixed GUI not supporting gamed nets for verifypn

lp:~yrke/tapaal/fix1976496 bug(Has a merge proposal) 1 Development 2022-06-01 12:43:37 UTC
1170. Fix bug #1976496, dont show duscrete ...

Author: Kenneth Yrke Jørgensen
Revision Date: 2022-06-01 12:41:39 UTC

Fix bug #1976496, dont show duscrete time warning for untimed games (or timed models that are untimed)

lp:~yrke/tapaal/TAPAALOnline 1 Development 2020-09-01 15:39:34 UTC
1092. Fixed main content to a button

Author: Kenneth Yrke Jørgensen
Revision Date: 2020-08-26 15:13:17 UTC

Fixed main content to a button

lp:~tapaal-contributor/tapaal/sidepane-refactor-1886410 bug 1 Development 2020-08-06 13:34:32 UTC
1072. Add files

Author: <email address hidden>
Revision Date: 2020-08-06 13:34:32 UTC

Add files

lp:~marmux/tapaal/tapaal-timed-games 1 Development 2020-06-10 02:59:17 UTC
1059. adding hack for _unc_ transitions

Author: muniz
Revision Date: 2020-06-10 02:59:17 UTC

adding hack for _unc_ transitions

lp:~marmux/tapaal/tapaal-export-por 1 Development 2020-06-10 02:53:53 UTC
1014. adding hack for _unc_ transitions

Author: muniz
Revision Date: 2020-06-10 02:53:53 UTC

adding hack for _unc_ transitions

lp:~boginw/tapaal/multiplayer 1 Development 2020-05-22 12:50:13 UTC
1049. now supports XML load, shared transit...

Author: Bogi Napoleon Wennerstrom
Revision Date: 2020-05-22 12:50:13 UTC

now supports XML load, shared transitions and copy

lp:~tapaal-contributor/tapaal/stackoverflow-large-net-1853689 bug 1 Development 2019-12-07 12:38:25 UTC
1035. Changed debug message

Author: <email address hidden>
Revision Date: 2019-12-07 12:38:25 UTC

Changed debug message

lp:~cpn-gui/tapaal/cpn-editor 1 Development 2019-07-30 09:51:08 UTC
1086. Created the new intervals

Author: Niels Christensen
Revision Date: 2019-07-30 09:51:08 UTC

Created the new intervals

lp:~tapaal-contributor/tapaal/copy-paste-dev-branch 1 Development 2018-08-08 13:06:26 UTC
966. Copy/paste places

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

Copy/paste places

lp:~tapaal-contributor/tapaal/ctl-game 1 Development 2017-07-25 10:08:30 UTC
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
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
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
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
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
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
748. Added maintanence and kill set

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

Added maintanence and kill set

121 of 21 results
You can't create new branches for TAPAAL.