~tapaal-contributor/tapaal/reduction-rules-in-GUI-fix-1648084 : changes

~tapaal-contributor/tapaal/reduction-rules-in-GUI-fix-1648084 » Changes from revision 938

From Revision 923 to 904

Rev	Summary	Authors	Date
923	updated tapaal icons to 3.2 version updated tapaal icons to 3.2 version	Jiri Srba	8 years ago
922	Null pointer exeception when parsing an invalid pnml file is... Null pointer exeception when parsing an invalid pnml file is cought now. by TAPAAL Contributors review by Jiri Srba approved by Jiri Srba	Mads Johannsen	8 years ago
921	Arcs are now only selected if either directly clicked, or if... Arcs are now only selected if either directly clicked, or if they are connecting two already selected PlaceTransitionObjects. by TAPAAL Contributors review by Jiri Srba approved by Jiri Srba	Jakob Dyhr	8 years ago
920	Fixes bug #1518261. When making a new shared transition thro... Fixes bug #1518261. When making a new shared transition through the context menu, urgency is now correctly (re)applied. by TAPAAL Contributors review by Jiri Srba approved by Jiri Srba	Jakob Dyhr	8 years ago
919	updated minimum required engine versions to updated minimum required engine versions to verifytaMinRev = 5648; verifytapnMinRev = "1.3.0"; verifydtapnMinRev = "3.2.0"; verifypnMinRev = "1.2.0"	Jiri Srba	8 years ago
918	by TAPAAL Contributors review by Jiri Srba approved by Jiri ... by TAPAAL Contributors review by Jiri Srba approved by Jiri Srba	Mads Johannsen	8 years ago
917	Hiding place and transition names is not remembered when sav... Hiding place and transition names is not remembered when saving a net, invariants are always shown. by TAPAAL Contributors review by Jiri Srba approved by Jiri Srba	Mads Johannsen	8 years ago
916	Fixes bug #1513783. When deleting a shared transition (and i... Fixes bug #1513783. When deleting a shared transition (and it's arcs) from all components, and then Undoing the deletion, the deleted arcs are now restored along the transition. by TAPAAL Contributors review by Jiri Srba approved by Jiri Srba	Jakob Dyhr	8 years ago
915	In place and transition context dialog it is now possible to... In place and transition context dialog it is now possible to make it a shared one but pressing a "make shared" button. by TAPAAL Contributors review by Jiri Srba approved by Jakob Taankvist, Jiri Srba	Jakob Dyhr	8 years ago
914	updated the About page with additional credits and with year... updated the About page with additional credits and with year 2015	Jiri Srba	8 years ago
913	Adds an xml parser for MCC'14 and MCC'15 untimed queries. by... Adds an xml parser for MCC'14 and MCC'15 untimed queries. by TAPAAL Contributors review by Jiri Srba approved by Jiri Srba	Mads Johannsen	8 years ago
912	Calls verifydtapn engine for workflow analysis with PTrie fl... Calls verifydtapn engine for workflow analysis with PTrie flag on. by TAPAAL Contributors review by Jiri Srba approved by Jiri Srba	Peter Gjøl Jensen	8 years ago
911	Fixes a bug in a deep copy of a Petri net network that appea... Fixes a bug in a deep copy of a Petri net network that appeared when entering workflow analysis. Bug #1430510. by TAPAAL Contributors review by Jiri Srba approved by Jiri Srba, Jakob Taankvist	Mads Johannsen	8 years ago
910	minimum required version for verifydtapn setup to 3.1.3 minimum required version for verifydtapn setup to 3.1.3	Jiri Srba	9 years ago
909	Sends the workflow-bound to verifydtapn as long. by Christof... Sends the workflow-bound to verifydtapn as long. by Christoffer Moesgaard review by Jiri Srba approved by Jiri Srba	Christoffer Moesgaar...	9 years ago
908	Fixes bug #1438149 where shared places/transitions/tokens w... Fixes bug #1438149 where shared places/transitions/tokens were counted in a wrong way. by TAPAAL Contributors review by Jiri Srba approved by Jiri Srba, Jakob Taankvist	Jiri Srba	9 years ago
907	fixes tooltip for TikZ export by TAPAAL Contributors review ... fixes tooltip for TikZ export by TAPAAL Contributors review by Jiri Srba approved by Jiri Srba	Jiri Srba	9 years ago
906	Shared places that are not used in any active templated are ... Shared places that are not used in any active templated are now not included in the composed model. Fixes #1421636 for workflow analysis giving -1 max running time. by TAPAAL Contributors review by Jiri Srba approved by Jiri Srba	Mathias Grund Sørens...	9 years ago
905	It is allowed to have isolated shared places in components, ... It is allowed to have isolated shared places in components, as long as they are connected to the rest of the workflow net via other components. by TAPAAL Contributors review by Jiri Srba approved by Jiri Srba	Jiri Srba	9 years ago
904	Place names with missing component prefix are now automatica... Place names with missing component prefix are now automatically completed in manual query creation. by TAPAAL Contributors review by Jiri Srba approved by Jiri Srba	Jakob Taankvist	9 years ago

Older »