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

TAPAAL has 31 active branches owned by 1 person and 7 teams. There were 30 commits by 3 people in the last month.

Bazaar branches

Name	Status	Last Modified	Last Commit
lp:tapaal Series: trunk	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/exportCPN	1 Development	2018-12-13 10:58:38 UTC 18 hours ago	1006. WIP the composer should work with arc... Author: Niels Christensen Revision Date: 2018-12-13 10:58:38 UTC WIP the composer should work with arcs and almost done
lp:~cpn-gui/tapaal/cpn-editor	1 Development	2018-12-13 08:47:47 UTC 20 hours ago	999. Merge colored arcs Author: Thomas Frandsen Revision Date: 2018-12-13 08:47:47 UTC Merge colored arcs
lp:~cpn-gui/tapaal/arcEditorPanel	1 Development	2018-12-11 15:23:23 UTC 2018-12-11	998. Merge from coored transition editorpa... Author: Mark Glavind Revision Date: 2018-12-11 15:22:01 UTC Merge from coored transition editorpanel as feature is completed
lp:~cpn-gui/tapaal/transitionEditorPanel	1 Development	2018-12-06 14:31:53 UTC 2018-12-06	1006. Added parser for Guard expressions. s... Author: Mark Glavind Revision Date: 2018-12-06 14:31:53 UTC Added parser for Guard expressions. still missing dot in color expressions
lp:~cpn-gui/tapaal/placeEditorPanel	1 Development	2018-11-21 14:59:20 UTC 2018-11-21	997. WIP on colored transition panel. Adde... Author: Mark Glavind Revision Date: 2018-11-21 14:59:20 UTC WIP on colored transition panel. Added graphical elements for allmost all the functionality
lp:~cpn-gui/tapaal/importCPN	1 Development	2018-11-09 13:49:43 UTC 2018-11-09	1000. Added parsing of regular colored arcs Author: Thomas Frandsen Revision Date: 2018-11-09 13:49:43 UTC Added parsing of regular colored arcs
lp:~cpn-gui/tapaal/colorTypeDialog	1 Development	2018-11-07 10:18:57 UTC 2018-11-07	998. Adding a Domain is displayed correct Author: Niels Christensen Revision Date: 2018-11-07 10:18:57 UTC Adding a Domain is displayed correct
lp:~tapaal-contributor/tapaal/shared-places-transitions-multi-remove-1780087	1 Development	2018-11-05 14:29:27 UTC 2018-11-05	978. Change error message and handle butto... Author: <email address hidden> Revision Date: 2018-11-05 14:29:27 UTC Change error message and handle buttons on multiple selection
lp:~yrke/tapaal/createArc-encapsulation	0 Experimental	2018-11-04 18:08:37 UTC 2018-11-04	976. Moved acr drawing delete/escape event... Author: Kenneth Yrke Jørgensen Revision Date: 2018-11-02 14:27:28 UTC Moved acr drawing delete/escape events to PlaceTransitionObjectHandler, for futher refacotrings
lp:~yrke/tapaal/removeStaticAccesInStatisticPanel	1 Development	2018-11-02 13:15:26 UTC 2018-11-02	978. Statisticspanel now takes an agurment... Author: Kenneth Yrke Jørgensen Revision Date: 2018-11-02 13:14:18 UTC Statisticspanel now takes an agurment, insted of static access
lp:~yrke/tapaal/removeNetType	1 Development	2018-10-31 19:14:16 UTC 2018-10-31	1047. Removed static accessors of DataLayer Author: Kenneth Yrke Jørgensen Revision Date: 2018-10-31 19:14:16 UTC Removed static accessors of DataLayer
lp:~cpn-gui/tapaal/graphicalElements	1 Development	2018-10-31 14:30:50 UTC 2018-10-31	994. fixed merge between this branch and i... Author: Mark Glavind Revision Date: 2018-10-31 14:30:50 UTC fixed merge between this branch and importCPN
lp:~cpn-gui/tapaal/declarationsGUI	1 Development	2018-10-22 14:03:37 UTC 2018-10-22	995. printing of product types and color t... Author: Mark Glavind Revision Date: 2018-10-22 14:03:37 UTC printing of product types and color types now work in the listpanel for color types
lp:~yrke/tapaal/placetransitionobjecthandler-refactor-cleanup	0 Experimental	2018-10-21 18:14:13 UTC 2018-10-21	1043. Fixed error in javadoc Author: Kenneth Yrke Jørgensen Revision Date: 2018-10-21 18:14:13 UTC Fixed error in javadoc
lp:~yrke/tapaal/encapsulateSetGuiModel	0 Experimental	2018-10-18 15:08:44 UTC 2018-10-18	1034. Removed setGuiModel from copy-functio... Author: Kenneth Yrke Jørgensen Revision Date: 2018-10-18 15:08:44 UTC Removed setGuiModel from copy-functions, now only called in dataLayer
lp:~yrke/tapaal/placetransitionobjecthandler-refactor	1 Development	2018-10-18 13:14:48 UTC 2018-10-18	1031. Removed getter for guimodel in PetriN... Author: Kenneth Yrke Jørgensen Revision Date: 2018-10-18 13:14:48 UTC Removed getter for guimodel in PetriNetObject
lp:~yrke/tapaal/removedUnusedFieldsFromXML	1 Development	2018-10-16 19:51:09 UTC 2018-10-16	1031. Removed unused fields markingOffset Author: Kenneth Yrke Jørgensen Revision Date: 2018-10-16 19:49:39 UTC Removed unused fields markingOffset
lp:~yrke/tapaal/DeleteAction-removeselectionmanager-deleteSelection	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:~tapaal-contributor/tapaal/batch-processing-for-workflows-1272214	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

You can't create new branches for TAPAAL.

Import a branch