lp:~tapaal-contributor/tapaal/deactivateInvariants

Created by Jakob Taankvist and last modified
Get this branch:
bzr branch lp:~tapaal-contributor/tapaal/deactivateInvariants
Members of TAPAAL Contributors can upload to this branch. Log in for directions.

Branch merges

Related bugs

Related blueprints

Branch information

Owner:
TAPAAL Contributors
Project:
TAPAAL
Status:
Merged

Recent revisions

705. By Jiri Srba

removed an unused import causing problems with merge

704. By Jakob Taankvist

Invaiants in deactive componets no longer affects the simulation

However I think we should really consider refactoring the whole simulator to use a composed net for the calculations

703. By Jakob Taankvist

The tool tip over the delay button will now allways show.
However if you are showing tool tips, and you have your mouse over the button, and you disable tooltips with ctrl+6 the tool tip will disappear until you exit and enter the button again. by TAPAAL Contributors review by Kenneth Yrke Jørgensen approved by Kenneth Yrke Jørgensen, Jiri Srba

702. By Mathias Andersen

Crtl-V verifies the currently selected query. Left and right on the keyboard subtracts or adds one to the currently selected constant. by TAPAAL Contributors review by Jiri Srba approved by Jiri Srba, Kenneth Yrke Jørgensen

701. By Mathias Andersen

The buttons of the edit annotation dialog has been modified to have a look and feel similar to other dialogs. by TAPAAL Contributors review by Kenneth Yrke Jørgensen approved by Kenneth Yrke Jørgensen, Jiri Srba

700. By Jakob Taankvist

The panels now remember their locations when switching between editor and animation mode, also we use the swingx package's JXMultiSplitPanel by TAPAAL Contributors review by Kenneth Yrke Jørgensen approved by Kenneth Yrke Jørgensen, Jiri Srba

699. By Jakob Taankvist

 by TAPAAL Contributors review by Kenneth Yrke Jørgensen approved by Kenneth Yrke Jørgensen, Jiri Srba

698. By Jiri Srba

Fixes bug 958402 - adds a view menu for show/hide ToolTips. The choice is not remembered
in preferences yet (should be done for all view items in a separate branch). by TAPAAL Contributors review by Jiri Srba approved by Jiri Srba, Kenneth Yrke Jørgensen

697. By Jiri Srba

Merged with branch bug-874127-update-dialog into lp:tapaal

696. By Jiri Srba

added advanced workflow example

Branch metadata

Branch format:
Branch format 7
Repository format:
Bazaar repository format 2a (needs bzr 1.16 or later)
Stacked on:
lp:tapaal
This branch contains Public information 
Everyone can see this information.