~tapaal-contributor/tapaal/Gui-freeze-1896457 : changes

~tapaal-contributor/tapaal/Gui-freeze-1896457 » Changes from revision 1106

From Revision 333 to 314

Rev	Summary	Authors	Date
333	fixed bug #684830 where the animator's history was not reset... fixed bug #684830 where the animator's history was not reset after displaying a trace from UPPAAL, thereby making a newly obtained (and different) trace un-executable.	Morten Jacobsen	13 years ago
332	fixes bug #684825 where saving a net from simulation mode re... fixes bug #684825 where saving a net from simulation mode removed constants from the guards.	Morten Jacobsen	13 years ago
331	Merged GUI fix Merged GUI fix	Kenneth Yrke Jørgens...	13 years ago
330	- Fix for bug #676424, an error is no longer produced when c... - Fix for bug #676424, an error is no longer produced when cancelling the dialog for locating verifyta. Instead it only shows the info box stating that the verification was cancelled.	Lasse Jacobsen	13 years ago
329	changed drawing of untimed nets to draw tokens as block dots... changed drawing of untimed nets to draw tokens as block dots like standard pipe.	Morten Jacobsen	13 years ago
328	Added a new luncher class with support for command line argu... Added a new luncher class with support for command line arguments	Kenneth Yrke Jørgens...	13 years ago
327	Removed unused code Removed unused code	Kenneth Yrke Jørgens...	13 years ago
326	Fixed an issue where marking of an untimed place was not upd... Fixed an issue where marking of an untimed place was not updated if it was changed using the place editor.	Kenneth Yrke Jørgens...	13 years ago
325	Disables delay action in simulator menu if it is an untimed ... Disables delay action in simulator menu if it is an untimed net. We are not handeling the different types of nets in a very nice way, we need to find a way to refactor this nicely.	Kenneth Yrke Jørgens...	13 years ago
324	Fixes bug #669993. TAPAAL will now display an error message ... Fixes bug #669993. TAPAAL will now display an error message whenever unintelligible output is returned by verifyta. The complete error message is displayed for to the user in a message box.	Morten Jacobsen	13 years ago
323	- Fixed size of of the some buttons in the query dialog. - Fixed size of of the some buttons in the query dialog. - Fixed size of a textfield in the new TAPAN model dialog.	Lasse Jacobsen	13 years ago
322	Export of untimed nets now working properly. Export of untimed nets now working properly.	Morten Jacobsen	13 years ago
321	The animator now properly handles untimed nets. Fixed a bug ... The animator now properly handles untimed nets. Fixed a bug where stepping forward in the history would fail if the step involved a transition with an inhibitor arc.	Morten Jacobsen	13 years ago
320	disabled constants and transport arcs when working with unti... disabled constants and transport arcs when working with untimed nets.	Morten Jacobsen	13 years ago
319	Untimed nets can now be saved/loaded. Also fixed drawing of ... Untimed nets can now be saved/loaded. Also fixed drawing of tokens so as to not display their age.	Morten Jacobsen	13 years ago
318	- Added automatic updating of atomic propositions in the que... - Added automatic updating of atomic propositions in the query when e.g. increasing the number of tokens specified by the atomic proposition	Lasse Jacobsen	13 years ago
317	started implementation of untimed nets. started implementation of untimed nets. - removed colored nets from the list of possible nets as we decided they would not go into version 1.4 - Added some preliminary implementation of untimed nets, but still very much WIP.	Morten Jacobsen	13 years ago
316	Fixes problems with enable/disable of undo/redo actions Fixes problems with enable/disable of undo/redo actions undo/redo was enabled based on the last use of undo/redo. So if you swithched tab you undo/redo could be wrongly enabled/disabled.	Kenneth Yrke Joergen...	13 years ago
315	- Removed excessive parantheses in example nets - Removed excessive parantheses in example nets - Fixed a bug where the Query field in the Query Dialog did not have a white background color - Fixed size of left pane to avoid scrollbars in animation mode	Morten Jacobsen	13 years ago
314	- (Hopefully) fixed a bug where the lefthand pane would have... - (Hopefully) fixed a bug where the lefthand pane would have zero width initially. - Increased the minimum size of the main window to make sure the entire drawing toolbar is always visible.	Morten Jacobsen	13 years ago