Author: Jiri Srba
Revision Date: 2019-11-19 14:23:18 UTC

merged in lp:~tapaal-contributor/tapaal/annotation-note-close-1849639 fixing the closing of annotation using the x

Author: Jiri Srba
Revision Date: 2019-11-19 14:22:36 UTC

merged in lp:~tapaal-contributor/tapaal/annotation-note-close-1849639 fixing the closing of annotation using the x

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

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

Merged branch lp:~yrke/tapaal/modelControlsDrawingsurface

Author: <email address hidden>
Revision Date: 2019-11-16 13:02:47 UTC

Changed size of loading dialog

Author: Kenneth Yrke Jørgensen
Revision Date: 2019-11-14 08:15:42 UTC

Removed what seems to be unneeded calls to repaint

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

Created the new intervals

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

Fixed variable error detection

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

Commented out GUI implemenation of Unfold TACPN in engine selection tool

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

Removed serialVersionUID

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

Ano function to lambda

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

Added code comment

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

 forgot to add file for holding a COnfiguration

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

WIP qurey is made but not displayed yet

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

Removed call to updated connected

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

Added transport arcs to typechecking analysis

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

Added type parameters to EnabledTrasnitionsList

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()

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

Removed auto-comment

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

Typechecking analysis is now done before verification

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

Removed function to split arcpath not needed.

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

merge from dynamicPathsReal

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

Merge with importNetworkConfigs

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

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

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

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

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

nothing important here

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

Author: muniz
Revision Date: 2019-04-12 13:21:12 UTC

adding kbound to .opt files

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

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

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

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

small changes to TACPN save

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

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

resolved merge conflict in Color

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

small bugfixes

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

 finished typeChecker

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

merge from trunk

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

Author: Kenneth Yrke Jørgensen
Revision Date: 2018-07-03 11:14:33 UTC

inplemented skeleton structor of the debug menu

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

merge from BugFixing

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

merge from BugFixing

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

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

Printing guard expressions on canvas for transitions

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

printing now works for arcs

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

Export done

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

minimum working state for arc editing now in place

Author: Mark Glavind
Revision Date: 2018-12-06 14:31:53 UTC

Added parser for Guard expressions. still missing dot in color expressions

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

Author: Thomas Frandsen
Revision Date: 2018-11-09 13:49:43 UTC

Added parsing of regular colored arcs

Author: Niels Christensen
Revision Date: 2018-11-07 10:18:57 UTC

Adding a Domain is displayed correct

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

Author: Kenneth Yrke Jørgensen
Revision Date: 2018-10-31 19:14:16 UTC

Removed static accessors of DataLayer

Author: Mark Glavind
Revision Date: 2018-10-31 14:30:50 UTC

fixed merge between this branch and importCPN

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

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

Copy/paste places

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

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

Author: Christoffer Moesgaard
Revision Date: 2015-09-29 19:48:33 UTC

Workflows are now directly scaled without overapprox. PTries are used where applicable.

Author: Peter Gjøl Jensen
Revision Date: 2015-09-16 16:39:49 UTC

removed dead options

Author: Christoffer Moesgaard
Revision Date: 2015-06-08 07:27:46 UTC

Merge

Author: Jiri Srba
Revision Date: 2014-12-01 10:58:53 UTC

merged with trunk

Author: Mathias Grund Sørensen
Revision Date: 2013-11-15 19:15:50 UTC

Engine output is discarded.

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

Added maintanence and kill set