~cpn-gui/tapaal/typeChecker : changes

~cpn-gui/tapaal/typeChecker » Changes from revision 856.3.4

From Revision 856.3.4 to 841

Rev	Summary	Authors	Date
856.3.4	reverted makefile reverted makefile	Peter Gjoel Jensen	10 years ago
856.3.3	merged with trunk merged with trunk	Peter Gjoel Jensen	10 years ago
856.3.2	fix max delay calculation and query type (for correct trace fix max delay calculation and query type (for correct trace production)	Peter Gjoel Jensen	10 years ago
856.3.1	removed net alteration for strong workflow removed net alteration for strong workflow	Peter Gjøl Jensen	10 years ago
856	Adds flag -r for the engine verifypn (requires 1.1.0 version... Adds flag -r for the engine verifypn (requires 1.1.0 version of verifypn) Batch processing is also modified. by TAPAAL Contributors review by Jiri Srba approved by Mathias Grund Sørensen, Jiri Srba	Mathias Grund Sørens...	10 years ago
855	On Mac fullscreen mode is now possible. by TAPAAL Contributo... On Mac fullscreen mode is now possible. by TAPAAL Contributors review by Jiri Srba approved by Jiri Srba	Mathias Grund Sørens...	10 years ago
854	Changed printing dialog to AWT by TAPAAL Contributors review... Changed printing dialog to AWT by TAPAAL Contributors review by Jiri Srba approved by Jiri Srba	Mathias Grund Sørens...	10 years ago
853	Fixes name of the combi reduction, scrolling speed and refer... Fixes name of the combi reduction, scrolling speed and refers to uppaal. org instead of uppaal.com by TAPAAL Contributors review by Jiri Srba approved by Jiri Srba	Mathias Grund Sørens...	10 years ago
852	adjusted About menu and setup minimum version numbers for en... adjusted About menu and setup minimum version numbers for engines	Jiri Srba	10 years ago
851	updated TAPAAL 3.0 icon updated TAPAAL 3.0 icon	Jiri Srba	10 years ago
850	The GCD switch in the call has been swapped (the same is don... The GCD switch in the call has been swapped (the same is done in the engine now) and in batch processing GCD is never used. by TAPAAL Contributors review by Jiri Srba approved by Mathias Grund Sørensen, Jiri Srba	Jiri Srba	10 years ago
849	changed version number for verifypn to the format x.x.x changed version number for verifypn to the format x.x.x	Jiri Srba	10 years ago
848	fixed some text messages fixed some text messages	Jiri Srba	10 years ago
847	Disables the use of GCD optimization for EG and AF queries a... Disables the use of GCD optimization for EG and AF queries and queries containing deadlock proposition. by TAPAAL Contributors review by Jiri Srba approved by Jiri Srba	Mathias Grund Sørens...	10 years ago
846	added launch4j 3.0 configuration script added launch4j 3.0 configuration script	Jiri Srba	10 years ago
845	Boudedness check now uses verifypn engine in case the net is... Boudedness check now uses verifypn engine in case the net is untimed. by TAPAAL Contributors review by Jiri Srba approved by Jiri Srba	Mathias Grund Sørens...	10 years ago
844	Shows now COMPONENT.PLACE in and out places in workflow dial... Shows now COMPONENT.PLACE in and out places in workflow dialog. by TAPAAL Contributors review by Jiri Srba approved by Jiri Srba	Mathias Grund Sørens...	10 years ago
843	The issue for wrongly reported trace for workflow analysis i... The issue for wrongly reported trace for workflow analysis is resolved. To solve this, the extrapolation has been implemented in the GUI. by TAPAAL Contributors review by Jiri Srba approved by Jiri Srba	Mathias Grund Sørens...	10 years ago
842	Fixes a null pointer exception for the over-approximation wi... Fixes a null pointer exception for the over-approximation with verifypn by TAPAAL Contributors review by Jiri Srba approved by Jiri Srba	Mathias Grund Sørens...	10 years ago
841	This branch allows you to obtain an output stream with the f... This branch allows you to obtain an output stream with the file content rather than having to write to a file. by TAPAAL Contributors review by Jiri Srba approved by Jiri Srba	Mathias Grund Sørens...	10 years ago

Older »