bzr branch lp:tapaal
TAPAAL has 1 active review.
TAPAAL has 62 active branches owned by 2 people and 7 teams. There were 34 commits by 6 people in the last month.
Bazaar branches
| Name | Status | Last Modified | Last Commit | |
|---|---|---|---|---|
|
lp:tapaal
Series: trunk |
|
1 Development | 2019-08-23 08:51:28 UTC 2019-08-23 |
1013.
GUI label undo merged lp:~tapaal-con...
Author:
Jiri Srba
GUI label undo merged lp:~tapaal-contributor/tapaal/undo-namelabel-movement-1834783 |
|
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
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
increased version number to 3.4.3 and min version for verifypn to 3.0.1 |
|
|
lp:tapaal/dev
Series: dev |
|
0 Experimental | 2019-07-05 13:37:05 UTC 2019-07-05 |
1027.
Merged branch lp:~yrke/tapaal/modelCo...
Author:
Kenneth Yrke Jørgensen
Merged branch lp:~yrke/tapaal/modelControlsDrawingsurface |
|
lp:~yrke/ |
1 Development | 2019-08-23 16:16:54 UTC 2019-08-23 |
1116.
Updated comment
Author:
Kenneth Yrke Jørgensen
Updated comment |
|
|
lp:~cpn- |
1 Development | 2019-07-30 09:51:08 UTC 2019-07-30 |
1086.
Created the new intervals
Author:
Niels Christensen
Created the new intervals |
|
|
lp:~cpn- |
1 Development | 2019-07-26 07:39:49 UTC 2019-07-26 |
1082.
Fixed variable error detection
Author:
Niels Christensen
Fixed variable error detection |
|
|
lp:~cpn- |
1 Development | 2019-07-26 07:37:19 UTC 2019-07-26 |
1083.
Commented out GUI implemenation of Un...
Author:
Mark Glavind
Commented out GUI implemenation of Unfold TACPN in engine selection tool |
|
|
lp:~yrke/ |
|
2 Mature | 2019-07-05 13:37:38 UTC 2019-07-05 |
1092.
Removed serialVersionUID
Author:
Kenneth Yrke Jørgensen
Removed serialVersionUID |
|
lp:~yrke/ |
|
2 Mature | 2019-06-30 20:45:25 UTC 2019-06-30 |
1031.
Ano function to lambda
Author:
Kenneth Yrke Jørgensen
Ano function to lambda |
|
lp:~yrke/ |
|
2 Mature | 2019-06-30 20:43:20 UTC 2019-06-30 |
1021.
Added code comment
Author:
Kenneth Yrke Jørgensen
Added code comment |
|
lp:~cpn- |
1 Development | 2019-06-26 11:41:17 UTC 2019-06-26 |
1081.
forgot to add file for holding a COn...
Author:
Mark Glavind
forgot to add file for holding a COnfiguration |
|
|
lp:~cpn- |
1 Development | 2019-06-26 11:13:05 UTC 2019-06-26 |
1081.
WIP qurey is made but not displayed yet
Author:
Niels Christensen
WIP qurey is made but not displayed yet |
|
|
lp:~yrke/ |
|
2 Mature | 2019-06-23 15:53:49 UTC 2019-06-23 |
1036.
Removed call to updated connected
Author:
Kenneth Yrke Jørgensen
Removed call to updated connected |
|
lp:~cpn- |
1 Development | 2019-06-15 14:25:27 UTC 2019-06-15 |
1070.
Added transport arcs to typechecking ...
Author:
Mark Glavind
Added transport arcs to typechecking analysis |
|
|
lp:~yrke/ |
|
2 Mature | 2019-06-15 08:54:20 UTC 2019-06-15 |
1042.
Added type parameters to EnabledTrasn...
Author:
Kenneth Yrke Jørgensen
Added type parameters to EnabledTrasniti |
|
lp:~yrke/ |
|
2 Mature | 2019-06-15 08:54:06 UTC 2019-06-15 |
1043.
Removed doSetViewPosition and instanc...
Author:
Kenneth Yrke Jørgensen
Removed doSetViewPosition and instance variable viewPosition from DrawingSurface Seems to be a leftover component from old zoom behavior. |
|
lp:~yrke/ |
|
2 Mature | 2019-06-15 08:34:09 UTC 2019-06-15 |
1032.
Removed auto-comment
Author:
Kenneth Yrke Jørgensen
Removed auto-comment |
|
lp:~cpn- |
1 Development | 2019-06-14 20:08:02 UTC 2019-06-14 |
1079.
Typechecking analysis is now done bef...
Author:
Mark Glavind
Typechecking analysis is now done before verification |
|
|
lp:~yrke/ |
|
2 Mature | 2019-06-13 12:52:28 UTC 2019-06-13 |
1012.
Removed function to split arcpath not...
Author:
Kenneth Yrke Jørgensen
Removed function to split arcpath not needed. |
|
lp:~cpn- |
1 Development | 2019-06-06 22:54:39 UTC 2019-06-06 |
1063.
merge from dynamicPathsReal
Author:
Mark Glavind
merge from dynamicPathsReal |
|
|
lp:~cpn- |
1 Development | 2019-06-04 15:11:25 UTC 2019-06-04 |
1062.
Merge with importNetworkConfigs
Author:
Mark Glavind
Merge with importNetworkCo |
|
|
lp:~cpn- |
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
Fixed that we got 2 rules jumps for a single source/dest pair |
|
|
lp:~cpn- |
1 Development | 2019-05-31 11:33:54 UTC 2019-05-31 |
1063.
Started working on a shared io file f...
Author:
Mark Glavind
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- |
1 Development | 2019-05-16 08:40:22 UTC 2019-05-16 |
1046.
Constants are now handled correclty w...
Author:
Mark Glavind
Constants are now handled correclty when verifying with verifydtapn. Fixed an issue with tokens in shared places |
|
|
lp:~cpn- |
1 Development | 2019-05-09 15:00:33 UTC 2019-05-09 |
1040.
Fixed an issue in the composer where ...
Author:
Mark Glavind
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- |
1 Development | 2019-05-08 14:01:54 UTC 2019-05-08 |
1038.
nothing important here
Author:
Mark Glavind
nothing important here |
|
|
lp:~cpn- |
1 Development | 2019-04-26 09:31:19 UTC 2019-04-26 |
1047.
GUI elements in edit colored place ha...
Author:
Mark Glavind
GUI elements in edit colored place have been moved around in order to conserve space |
|
|
lp:~marmux/ |
1 Development | 2019-04-12 13:21:12 UTC 2019-04-12 |
1012.
adding kbound to .opt files
Author:
muniz
adding kbound to .opt files |
|
|
lp:~cpn- |
1 Development | 2019-04-10 08:36:56 UTC 2019-04-10 |
1033.
Transport arcs now also works in the ...
Author:
Niels Christensen
Transport arcs now also works in the composer and it should be done |
|
|
lp:~cpn- |
1 Development | 2019-04-02 09:40:58 UTC 2019-04-02 |
1031.
fixed issues with transport arcs and ...
Author:
Mark Glavind
fixed issues with transport arcs and inhibitor arcs, which sometimes prohibited loading |
|
|
lp:~cpn- |
1 Development | 2019-03-28 13:19:42 UTC 2019-03-28 |
1031.
small changes to TACPN save
Author:
Mark Glavind
small changes to TACPN save |
|
|
lp:~cpn- |
1 Development | 2019-03-13 15:04:59 UTC 2019-03-13 |
1020.
Urgent transitions now work with TACP...
Author:
Mark Glavind
Urgent transitions now work with TACPN. input arcs and transport arcs adjusts their time intervals accordingly |
|
|
lp:~cpn- |
1 Development | 2019-03-12 15:35:01 UTC 2019-03-12 |
1031.
resolved merge conflict in Color
Author:
Mark Glavind
resolved merge conflict in Color |
|
|
lp:~cpn- |
1 Development | 2019-02-28 13:30:08 UTC 2019-02-28 |
1025.
small bugfixes
Author:
Mark Glavind
small bugfixes |
|
|
lp:~cpn- |
1 Development | 2019-02-21 13:46:00 UTC 2019-02-21 |
1021.
finished typeChecker
Author:
Mark Glavind
finished typeChecker |
|
|
lp:~cpn- |
1 Development | 2019-02-19 14:02:54 UTC 2019-02-19 |
1014.
merge from trunk
Author:
Mark Glavind
merge from trunk |
|
|
lp:~cpn- |
1 Development | 2019-02-08 10:06:57 UTC 2019-02-08 |
1014.
Have made dot as default color for pl...
Author:
Niels Christensen
Have made dot as default color for places and aracs will get the first color of their connected place |
|
|
lp:~yrke/ |
0 Experimental | 2019-01-27 15:46:12 UTC 2019-01-27 |
1137.
inplemented skeleton structor of the ...
Author:
Kenneth Yrke Jørgensen
inplemented skeleton structor of the debug menu |
|
|
lp:~cpn- |
1 Development | 2019-01-21 12:44:37 UTC 2019-01-21 |
1012.
merge from BugFixing
Author:
Mark Glavind
merge from BugFixing |
|
|
lp:~cpn- |
1 Development | 2019-01-09 14:26:59 UTC 2019-01-09 |
1012.
merge from BugFixing
Author:
Mark Glavind
merge from BugFixing |
|
|
lp:~cpn- |
1 Development | 2019-01-09 14:24:52 UTC 2019-01-09 |
1029.
added toggle enabled buttons to color...
Author:
Mark Glavind
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- |
1 Development | 2018-12-19 19:56:10 UTC 2018-12-19 |
1004.
Printing guard expressions on canvas ...
Author:
Niels Christensen
Printing guard expressions on canvas for transitions |
|
|
lp:~cpn- |
1 Development | 2018-12-19 17:39:59 UTC 2018-12-19 |
1003.
printing now works for arcs
Author:
Mark Glavind
printing now works for arcs |
|
|
lp:~cpn- |
1 Development | 2018-12-19 14:03:54 UTC 2018-12-19 |
1011.
Export done
Author:
Niels Christensen
Export done |
|
|
lp:~cpn- |
1 Development | 2018-12-18 20:09:46 UTC 2018-12-18 |
1004.
minimum working state for arc editing...
Author:
Mark Glavind
minimum working state for arc editing now in place |
|
|
lp:~cpn- |
1 Development | 2018-12-06 14:31:53 UTC 2018-12-06 |
1006.
Added parser for Guard expressions. s...
Author:
Mark Glavind
Added parser for Guard expressions. still missing dot in color expressions |
|
|
lp:~cpn- |
1 Development | 2018-11-21 14:59:20 UTC 2018-11-21 |
997.
WIP on colored transition panel. Adde...
Author:
Mark Glavind
WIP on colored transition panel. Added graphical elements for allmost all the functionality |
|
|
lp:~cpn- |
1 Development | 2018-11-09 13:49:43 UTC 2018-11-09 |
1000.
Added parsing of regular colored arcs
Author:
Thomas Frandsen
Added parsing of regular colored arcs |
|
|
lp:~cpn- |
1 Development | 2018-11-07 10:18:57 UTC 2018-11-07 |
998.
Adding a Domain is displayed correct
Author:
Niels Christensen
Adding a Domain is displayed correct |
|
|
lp:~yrke/ |
0 Experimental | 2018-11-04 18:08:37 UTC 2018-11-04 |
976.
Moved acr drawing delete/escape event...
Author:
Kenneth Yrke Jørgensen
Moved acr drawing delete/escape events to PlaceTransition |
|
|
lp:~yrke/ |
1 Development | 2018-10-31 19:14:16 UTC 2018-10-31 |
1047.
Removed static accessors of DataLayer
Author:
Kenneth Yrke Jørgensen
Removed static accessors of DataLayer |
|
|
lp:~cpn- |
1 Development | 2018-10-31 14:30:50 UTC 2018-10-31 |
994.
fixed merge between this branch and i...
Author:
Mark Glavind
fixed merge between this branch and importCPN |
|
|
lp:~cpn- |
1 Development | 2018-10-22 14:03:37 UTC 2018-10-22 |
995.
printing of product types and color t...
Author:
Mark Glavind
printing of product types and color types now work in the listpanel for color types |
|
|
lp:~tapaal- |
1 Development | 2018-08-08 13:06:26 UTC 2018-08-08 |
966.
Copy/paste places
Author:
<email address hidden>
Copy/paste places |
|
|
lp:~tapaal- |
1 Development | 2017-07-25 10:08:30 UTC 2017-07-25 |
1041.
Save verification command to be able ...
Author:
Mads Johannsen
Save verification command to be able to re-execute it in game mode |
|
|
lp:~tapaal- |
1 Development | 2015-09-29 19:48:11 UTC 2015-09-29 |
962.
Workflows are now directly scaled wit...
Author:
Christoffer Moesgaard
Workflows are now directly scaled without overapprox. PTries are used where applicable. |
|
|
lp:~tapaal- |
1 Development | 2015-09-16 16:39:49 UTC 2015-09-16 |
921.
removed dead options
Author:
Peter Gjøl Jensen
removed dead options |
|
|
lp:~tapaal- |
1 Development | 2015-06-08 07:27:12 UTC 2015-06-08 |
961.
Merge
Author:
Christoffer Moesgaard
Merge |
|
|
lp:~tapaal- |
1 Development | 2014-12-01 10:58:53 UTC 2014-12-01 |
915.
merged with trunk
Author:
Jiri Srba
merged with trunk |
|
|
lp:~tapaal- |
0 Experimental | 2013-11-15 19:16:56 UTC 2013-11-15 |
826.
Engine output is discarded.
Author:
Mathias Grund Sørensen
Engine output is discarded. |
|
|
lp:~tapaal- |
1 Development | 2012-12-04 11:22:56 UTC 2012-12-04 |
748.
Added maintanence and kill set
Author:
Thomas Birch Mogensen
Added maintanence and kill set |
|
| 1 → 62 of 62 results | First • Previous • Next • Last |
