Code : TAPAAL

TAPAAL

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

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

Bazaar branches

Name	Status	Last Modified	Last Commit
lp:tapaal Series: trunk	1 Development	2020-06-01 19:35:32 UTC 2020-06-01	1057. merged in lp:~tapaal-contributor/tapa... Author: Jiri Srba Revision Date: 2020-06-01 19:35:32 UTC merged in lp:~tapaal-contributor/tapaal/display-shared-places-transitions-1879126 allowing to independently display the shared places/transitions
lp:tapaal/3.6 Series: 3.6	2 Mature	2020-05-16 08:53:24 UTC 2020-05-16	1052. merged in lp:~tapaal-contributor/tapa... Author: Jiri Srba Revision Date: 2020-05-16 08:53:24 UTC merged in lp:~tapaal-contributor/tapaal/undo-up-down-sidepane-3.6-1870894 fixing undo/redo for moving items in the pannels using buttons up/down
lp:tapaal/3.5 Series: 3.5	2 Mature	2019-05-21 09:21:16 UTC 2019-05-21	1015. merged in lp:~tapaal-contributor/tapa... Author: Jiri Srba Revision Date: 2019-05-21 09:21:16 UTC merged in lp:~tapaal-contributor/tapaal/SaveWithOtherTabOpen-1826218 fixing a problem with saving a net in a non-active tab
lp:~tapaal-contributor/tapaal/verification-result-explanation-to-tooltip-1879129	1 Development	2020-06-04 15:53:38 UTC 14 hours ago	1057. Remove space between statistics Author: Thomas Pedersen Revision Date: 2020-06-04 15:53:38 UTC Remove space between statistics
lp:~tapaal-contributor/tapaal/Net-statistics-should-display-orphan-places-1879127	1 Development	2020-06-03 18:20:30 UTC 2020-06-03	1062. Removed unused method Author: Lena Said Revision Date: 2020-06-03 18:20:30 UTC Removed unused method
lp:~yrke/tapaal/cleanup-PNO-namingAndInterface	1 Development	2020-05-29 08:20:46 UTC 2020-05-29	1074. Fixed bug with switched pre/post set Author: Kenneth Yrke Jørgensen Revision Date: 2020-05-29 08:20:46 UTC Fixed bug with switched pre/post set
lp:~yrke/tapaal/slimImageIcons-2	1 Development	2020-05-27 13:26:59 UTC 2020-05-27	1061. made slim margin on image buttons in ... Author: Kenneth Yrke Jørgensen Revision Date: 2020-05-27 13:26:21 UTC made slim margin on image buttons in leftmenu
lp:~yrke/tapaal/updateResourceManager-2	1 Development	2020-05-27 13:19:18 UTC 2020-05-27	1060. Fixed formatting Author: Kenneth Yrke Jørgensen Revision Date: 2020-05-27 13:18:31 UTC Fixed formatting
lp:~yrke/tapaal/AnimatorCleanup	1 Development	2020-05-25 07:16:04 UTC 2020-05-25	1075. Renamed function to clearify what is ... Author: Kenneth Yrke Jørgensen Revision Date: 2020-05-25 07:16:04 UTC Renamed function to clearify what is does
lp:~boginw/tapaal/multiplayer	1 Development	2020-05-22 12:50:13 UTC 2020-05-22	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/move-open-composed-net-1879128	1 Development	2020-05-20 17:52:56 UTC 2020-05-20	1053. Remove unnecessary creation of new Co... Author: Thomas Pedersen Revision Date: 2020-05-20 17:52:56 UTC Remove unnecessary creation of new ConstantStore
lp:~yrke/tapaal/java11	1 Development	2020-05-18 06:17:53 UTC 2020-05-18	1054. Updated Java Langauge level to Java11 Author: Kenneth Yrke Jørgensen Revision Date: 2020-05-18 06:17:09 UTC Updated Java Langauge level to Java11
lp:~tapaal-contributor/tapaal/stackoverflow-large-net-1853689	1 Development	2019-12-07 12:38:25 UTC 2019-12-07	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 2019-07-30	1086. Created the new intervals Author: Niels Christensen Revision Date: 2019-07-30 09:51:08 UTC Created the new intervals
lp:~marmux/tapaal/tapaal-export-por	1 Development	2019-04-12 13:21:12 UTC 2019-04-12	1012. adding kbound to .opt files Author: muniz Revision Date: 2019-04-12 13:21:12 UTC adding kbound to .opt files
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/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

You can't create new branches for TAPAAL.

Import a branch