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 63 active branches owned by 2 people and 7 teams. There were 42 commits by 5 people in the last month.

Bazaar branches

Name Status Last Modified Last Commit
lp:tapaal
Series: trunk
bug 1 Development 2019-08-16 16:00:59 UTC 2019-08-16
1012. merged in lp:~tapaal-contributor/tapa...

Author: Jiri Srba
Revision Date: 2019-08-16 16:00:59 UTC

merged in lp:~tapaal-contributor/tapaal/SmartDrawDevelopment allowing for automatic net layout

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/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/dev
Series: dev
(Linked to a blueprint) 0 Experimental 2019-07-05 13:37:05 UTC 2019-07-05
1027. Merged branch lp:~yrke/tapaal/modelCo...

Author: Kenneth Yrke Jørgensen
Revision Date: 2019-07-05 13:37:05 UTC

Merged branch lp:~yrke/tapaal/modelControlsDrawingsurface

lp:~yrke/tapaal/ControllersAndPushdown 1 Development 2019-08-20 12:07:54 UTC 7 hours ago
1105. Moved mouse over menu from Place/Tans...

Author: Kenneth Yrke Jørgensen
Revision Date: 2019-08-20 12:07:54 UTC

Moved mouse over menu from Place/Tansition handlers to new AnimationController

lp:~tapaal-contributor/tapaal/undo-namelabel-movement-1834783 bug(Has a merge proposal) 1 Development 2019-08-18 08:17:51 UTC 2019-08-18
1013. Rename file, add new command for undo...

Author: <email address hidden>
Revision Date: 2019-08-18 08:11:04 UTC

Rename file, add new command for undoing movement of nameLabels

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:~cpn-gui/tapaal/typeCheckerVariable 1 Development 2019-07-26 07:39:49 UTC 2019-07-26
1082. Fixed variable error detection

Author: Niels Christensen
Revision Date: 2019-07-26 07:39:49 UTC

Fixed variable error detection

lp:~cpn-gui/tapaal/introExampleBug 1 Development 2019-07-26 07:37:19 UTC 2019-07-26
1083. Commented out GUI implemenation of Un...

Author: Mark Glavind
Revision Date: 2019-07-26 07:37:19 UTC

Commented out GUI implemenation of Unfold TACPN in engine selection tool

lp:~yrke/tapaal/modelControlsDrawingsurface bug(Linked to a blueprint) 2 Mature 2019-07-05 13:37:38 UTC 2019-07-05
1092. Removed serialVersionUID

Author: Kenneth Yrke Jørgensen
Revision Date: 2019-07-02 20:25:25 UTC

Removed serialVersionUID

lp:~yrke/tapaal/GuiFrame-refactor-appView (Linked to a blueprint) 2 Mature 2019-06-30 20:45:25 UTC 2019-06-30
1031. Ano function to lambda

Author: Kenneth Yrke Jørgensen
Revision Date: 2019-06-25 18:18:37 UTC

Ano function to lambda

lp:~yrke/tapaal/tapaaldev-fix1828782 bug(Linked to a blueprint) 2 Mature 2019-06-30 20:43:20 UTC 2019-06-30
1021. Added code comment

Author: Kenneth Yrke Jørgensen
Revision Date: 2019-05-13 08:59:33 UTC

Added code comment

lp:~cpn-gui/tapaal/exportTempModels 1 Development 2019-06-26 11:41:17 UTC 2019-06-26
1081. forgot to add file for holding a COn...

Author: Mark Glavind
Revision Date: 2019-06-26 11:41:17 UTC

 forgot to add file for holding a COnfiguration

lp:~cpn-gui/tapaal/SrcDestPair 1 Development 2019-06-26 11:13:05 UTC 2019-06-26
1081. WIP qurey is made but not displayed yet

Author: Niels Christensen
Revision Date: 2019-06-26 11:13:05 UTC

WIP qurey is made but not displayed yet

lp:~yrke/tapaal/cleanup-PlacetransitionObjectHandlers-mouseEvents (Linked to a blueprint) 2 Mature 2019-06-23 15:53:49 UTC 2019-06-23
1036. Removed call to updated connected

Author: Kenneth Yrke Jørgensen
Revision Date: 2019-06-20 09:31:32 UTC

Removed call to updated connected

lp:~cpn-gui/tapaal/finalbugfixing 1 Development 2019-06-15 14:25:27 UTC 2019-06-15
1070. Added transport arcs to typechecking ...

Author: Mark Glavind
Revision Date: 2019-06-15 14:25:27 UTC

Added transport arcs to typechecking analysis

lp:~yrke/tapaal/tapaal-next-UpgradeJava (Linked to a blueprint) 2 Mature 2019-06-15 08:54:20 UTC 2019-06-15
1042. Added type parameters to EnabledTrasn...

Author: Kenneth Yrke Jørgensen
Revision Date: 2019-04-21 15:59:49 UTC

Added type parameters to EnabledTrasnitionsList

lp:~yrke/tapaal/tappal-next-removeDoSetViewPosition (Linked to a blueprint) 2 Mature 2019-06-15 08:54:06 UTC 2019-06-15
1043. Removed doSetViewPosition and instanc...

Author: Kenneth Yrke Jørgensen
Revision Date: 2019-04-24 07:11:25 UTC

Removed doSetViewPosition and instance variable viewPosition from DrawingSurface

Seems to be a leftover component from old zoom behavior.
View posision was no updated on move and you can get it using view.getViewPosition()

lp:~yrke/tapaal/cleanup-drawingsurface-mouseEvents (Linked to a blueprint)(Has a merge proposal) 2 Mature 2019-06-15 08:34:09 UTC 2019-06-15
1032. Removed auto-comment

Author: Kenneth Yrke Jørgensen
Revision Date: 2019-06-13 16:04:44 UTC

Removed auto-comment

lp:~cpn-gui/tapaal/dynamicPathsReal 1 Development 2019-06-14 20:08:02 UTC 2019-06-14
1079. Typechecking analysis is now done bef...

Author: Mark Glavind
Revision Date: 2019-06-14 20:08:02 UTC

Typechecking analysis is now done before verification

lp:~yrke/tapaal/removedUnusedcode-arcpathsplit (Has a merge proposal) 2 Mature 2019-06-13 12:52:28 UTC 2019-06-13
1012. Removed function to split arcpath not...

Author: Kenneth Yrke Jørgensen
Revision Date: 2019-06-12 12:45:29 UTC

Removed function to split arcpath not needed.

lp:~cpn-gui/tapaal/TACPN 1 Development 2019-06-06 22:54:39 UTC 2019-06-06
1063. merge from dynamicPathsReal

Author: Mark Glavind
Revision Date: 2019-06-06 22:53:00 UTC

merge from dynamicPathsReal

lp:~cpn-gui/tapaal/TACPNImplementation 1 Development 2019-06-04 15:11:25 UTC 2019-06-04
1062. Merge with importNetworkConfigs

Author: Mark Glavind
Revision Date: 2019-05-31 06:20:07 UTC

Merge with importNetworkConfigs

lp:~cpn-gui/tapaal/importNetworkConfigs 1 Development 2019-05-31 13:25:11 UTC 2019-05-31
1073. Fixed that we got 2 rules jumps for a...

Author: Niels Christensen
Revision Date: 2019-05-31 13:25:11 UTC

Fixed that we got 2 rules jumps for a single source/dest pair

lp:~cpn-gui/tapaal/dynamicPaths 1 Development 2019-05-31 11:33:54 UTC 2019-05-31
1063. Started working on a shared io file f...

Author: Mark Glavind
Revision Date: 2019-05-31 11:33:54 UTC

Started working on a shared io file for unfolding TACPN, since this is currently done in three seperate locations. Will finish this if there is time

lp:~cpn-gui/tapaal/unitTest 1 Development 2019-05-16 08:40:22 UTC 2019-05-16
1046. Constants are now handled correclty w...

Author: Mark Glavind
Revision Date: 2019-05-16 08:40:22 UTC

Constants are now handled correclty when verifying with verifydtapn. Fixed an issue with tokens in shared places

lp:~cpn-gui/tapaal/TACPNUnfoldExport 1 Development 2019-05-09 15:00:33 UTC 2019-05-09
1040. Fixed an issue in the composer where ...

Author: Mark Glavind
Revision Date: 2019-05-09 15:00:33 UTC

Fixed an issue in the composer where colorTimeIntervals did not transfer to the new place. Fixed an issue where colorTypes and variables were not present in the network written to verifypn

lp:~cpn-gui/tapaal/BP-TACPN 1 Development 2019-05-08 14:01:54 UTC 2019-05-08
1038. nothing important here

Author: Mark Glavind
Revision Date: 2019-05-08 14:01:54 UTC

nothing important here

lp:~cpn-gui/tapaal/bug-fixing3 1 Development 2019-04-26 09:31:19 UTC 2019-04-26
1047. GUI elements in edit colored place ha...

Author: Mark Glavind
Revision Date: 2019-04-26 09:31:19 UTC

GUI elements in edit colored place have been moved around in order to conserve space

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:~cpn-gui/tapaal/sharedPlaces 1 Development 2019-04-10 08:36:56 UTC 2019-04-10
1033. Transport arcs now also works in the ...

Author: Niels Christensen
Revision Date: 2019-04-10 08:36:56 UTC

Transport arcs now also works in the composer and it should be done

lp:~cpn-gui/tapaal/loadPNML 1 Development 2019-04-02 09:40:58 UTC 2019-04-02
1031. fixed issues with transport arcs and ...

Author: Mark Glavind
Revision Date: 2019-04-02 09:40:58 UTC

fixed issues with transport arcs and inhibitor arcs, which sometimes prohibited loading

lp:~cpn-gui/tapaal/savePNML 1 Development 2019-03-28 13:19:42 UTC 2019-03-28
1031. small changes to TACPN save

Author: Mark Glavind
Revision Date: 2019-03-28 13:19:42 UTC

small changes to TACPN save

lp:~cpn-gui/tapaal/transportArc 1 Development 2019-03-13 15:04:59 UTC 2019-03-13
1020. Urgent transitions now work with TACP...

Author: Mark Glavind
Revision Date: 2019-03-13 15:04:59 UTC

Urgent transitions now work with TACPN. input arcs and transport arcs adjusts their time intervals accordingly

lp:~cpn-gui/tapaal/colorTimeConstraint 1 Development 2019-03-12 15:35:01 UTC 2019-03-12
1031. resolved merge conflict in Color

Author: Mark Glavind
Revision Date: 2019-03-12 15:35:01 UTC

resolved merge conflict in Color

lp:~cpn-gui/tapaal/arcColorTime 1 Development 2019-02-28 13:30:08 UTC 2019-02-28
1025. small bugfixes

Author: Mark Glavind
Revision Date: 2019-02-28 13:30:08 UTC

small bugfixes

lp:~cpn-gui/tapaal/typeChecker 1 Development 2019-02-21 13:46:00 UTC 2019-02-21
1021. finished typeChecker

Author: Mark Glavind
Revision Date: 2019-02-21 13:46:00 UTC

 finished typeChecker

lp:~cpn-gui/tapaal/safePNML 1 Development 2019-02-19 14:02:54 UTC 2019-02-19
1014. merge from trunk

Author: Mark Glavind
Revision Date: 2019-02-19 14:02:54 UTC

merge from trunk

lp:~cpn-gui/tapaal/defaultValues 1 Development 2019-02-08 10:06:57 UTC 2019-02-08
1014. Have made dot as default color for pl...

Author: Niels Christensen
Revision Date: 2019-02-08 10:06:57 UTC

Have made dot as default color for places and aracs will get the first color of their connected place

lp:~yrke/tapaal/tapaal-debuginterface 0 Experimental 2019-01-27 15:46:12 UTC 2019-01-27
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:~cpn-gui/tapaal/bugFixing2 1 Development 2019-01-21 12:44:37 UTC 2019-01-21
1012. merge from BugFixing

Author: Mark Glavind
Revision Date: 2019-01-09 14:26:22 UTC

merge from BugFixing

lp:~cpn-gui/tapaal/examVersion 1 Development 2019-01-09 14:26:59 UTC 2019-01-09
1012. merge from BugFixing

Author: Mark Glavind
Revision Date: 2019-01-09 14:26:22 UTC

merge from BugFixing

lp:~cpn-gui/tapaal/bugFixing 1 Development 2019-01-09 14:24:52 UTC 2019-01-09
1029. added toggle enabled buttons to color...

Author: Mark Glavind
Revision Date: 2019-01-09 14:24:52 UTC

added toggle enabled buttons to color expressions and arc expressions panel, added delete selection and reset expression to both, fixed the size in getChildren of addExpr, TupleExpr, changed replace method in pred and succ

lp:~cpn-gui/tapaal/transitionPrint 1 Development 2018-12-19 19:56:10 UTC 2018-12-19
1004. Printing guard expressions on canvas ...

Author: Niels Christensen
Revision Date: 2018-12-19 19:56:10 UTC

Printing guard expressions on canvas for transitions

lp:~cpn-gui/tapaal/expressionsPrint 1 Development 2018-12-19 17:39:59 UTC 2018-12-19
1003. printing now works for arcs

Author: Mark Glavind
Revision Date: 2018-12-19 17:39:59 UTC

printing now works for arcs

lp:~cpn-gui/tapaal/exportCPN 1 Development 2018-12-19 14:03:54 UTC 2018-12-19
1011. Export done

Author: Niels Christensen
Revision Date: 2018-12-19 14:03:54 UTC

Export done

lp:~cpn-gui/tapaal/arcEditorPanel 1 Development 2018-12-18 20:09:46 UTC 2018-12-18
1004. minimum working state for arc editing...

Author: Mark Glavind
Revision Date: 2018-12-18 20:09:46 UTC

minimum working state for arc editing now in place

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

163 of 63 results
You can't create new branches for TAPAAL.