~tapaal-contributor/tapaal/bug-948502-discrete-incl-wrong-answer : changes

~tapaal-contributor/tapaal/bug-948502-discrete-incl-wrong-answer » Changes from revision 683

From Revision 683 to 664

Rev	Summary	Authors	Date
683	Now the bug 948502 is fixed also in batch processing Now the bug 948502 is fixed also in batch processing	Jiri Srba	12 years ago
682	fixes bug 948502; whenever discrete inclusion does not find ... fixes bug 948502; whenever discrete inclusion does not find a trace and it is unbounded, we now say that the answer is inconclusive; so far fixed for the query verification, has to be fixed also in batch processing	Jiri Srba	12 years ago
681	Fixed a problem when for EG nonsatisfied query there was a w... Fixed a problem when for EG nonsatisfied query there was a warning that a trace cannot be generated and similarly for AF satisfied query. by TAPAAL Contributors review by Kenneth Yrke Jørgensen approved by Kenneth Yrke Jørgensen, Jiri Srba	Jiri Srba	12 years ago
680	Merged branch to fix bug #915296 by TAPAAL Developers revie... Merged branch to fix bug #915296 by TAPAAL Developers review by Jiri Srba approved by Jiri Srba	Kenneth Yrke Jørgens...	12 years ago
679	Selected components, constants, shared items, queries and no... Selected components, constants, shared items, queries and now remembered when going to simulator and back. by TAPAAL Contributors review by Kenneth Yrke Jørgensen approved by Kenneth Yrke Jørgensen, Jiri Srba	Mathias Andersen	12 years ago
678	The panels in the editor view is now resizeable by TAPAAL Co... The panels in the editor view is now resizeable by TAPAAL Contributors review by Kenneth Yrke Jørgensen approved by Kenneth Yrke Jørgensen, Jiri Srba	Jakob Taankvist	12 years ago
677	Transitions can now only be turned only when they are select... Transitions can now only be turned only when they are selected. It ss now possible to add tokens by scrolling on a selected place. by TAPAAL Contributors review by Kenneth Yrke Jørgensen approved by Kenneth Yrke Jørgensen, Jiri Srba	Jakob Taankvist	12 years ago
676	Fixes bug #944740. by TAPAAL Contributors review by Kenneth... Fixes bug #944740. by TAPAAL Contributors review by Kenneth Yrke Jørgensen approved by Kenneth Yrke Jørgensen, Jiri Srba	Jiri Srba	12 years ago
675	Made it possible for the user to select the specific verific... Made it possible for the user to select the specific verification methods in the batch processing dialog by TAPAAL Contributors review by Kenneth Yrke Jørgensen approved by Kenneth Yrke Jørgensen, Jiri Srba	Jiri Srba	12 years ago
674	Delay in the simulator can now contain only numerical values... Delay in the simulator can now contain only numerical values with precision of 5 decimal places. by TAPAAL Contributors review by Jiri Srba approved by Jiri Srba, Kenneth Yrke Jørgensen	Mathias Andersen	12 years ago
673	Merged branch with fix for bug #874217 by TAPAAL Developers ... Merged branch with fix for bug #874217 by TAPAAL Developers review by Jiri Srba approved by Jiri Srba	Kenneth Yrke Jørgens...	12 years ago
672	Merged branck with fix for bug #940280 by Kenneth Yrke Jørge... Merged branck with fix for bug #940280 by Kenneth Yrke Jørgensen review by Jiri Srba approved by Jiri Srba, Mathias Andersen	Kenneth Yrke Joergen...	12 years ago
671	Merged branch fixing bug #891944 by TAPAAL Developers review... Merged branch fixing bug #891944 by TAPAAL Developers review by Jiri Srba approved by Jiri Srba	Kenneth Yrke Jørgens...	12 years ago
670	fixed default okButton in shared places and transitions fixed default okButton in shared places and transitions fixed renaming of constants from small to capital letters and back fixed a problem where it was possible to add the same constant with different small/capital letters fixed a focus in the shared transition/places if a wrong name is entered fixed error when it was impossible to rename component from small to capital letters and back by Jiri Srba review by Jiri Srba approved by Jiri Srba, Kenneth Yrke Jørgensen	Jiri Srba	12 years ago
669	The engine dialog has focus on close button. by TAPAAL Contr... The engine dialog has focus on close button. by TAPAAL Contributors review by Kenneth Yrke Jørgensen approved by Kenneth Yrke Jørgensen, Mathias Andersen, Jiri Srba	Jiri Srba	12 years ago
668	added run script for mac to tools added run script for mac to tools	Jiri Srba	12 years ago
667	Increased the offset in setBounds of the editor panel when Increased the offset in setBounds of the editor panel when an element is drawn closed to the border. by TAPAAL Contributors review by Kenneth Yrke Jørgensen approved by Kenneth Yrke Jørgensen, Jiri Srba	Jiri Srba	12 years ago
666	Net is marked as modified also when a query is changed (by p... Net is marked as modified also when a query is changed (by pressing save or save/verify). by TAPAAL Contributors review by Kenneth Yrke Jørgensen approved by Kenneth Yrke Jørgensen, Jiri Srba	Jiri Srba	12 years ago
665	Merged branch tapaal-newlocateverifytapn Merged branch tapaal-newlocateverifytapn Improved search for verifytapn by Kenneth Yrke Jørgensen review by Jiri Srba approved by Mathias Andersen, Jiri Srba	Kenneth Yrke Jørgens...	12 years ago
664	Merged branch fixing bug #940234 by Kenneth Yrke Jørgensen r... Merged branch fixing bug #940234 by Kenneth Yrke Jørgensen review by Kenneth Yrke Jørgensen approved by Mathias Andersen, Jiri Srba	Kenneth Yrke Jørgens...	12 years ago

Older »