lp:~tapaal-contributor/tapaal/deactivateInvariants
- Get this branch:
- bzr branch lp:~tapaal-contributor/tapaal/deactivateInvariants
Branch merges
- Kenneth Yrke Jørgensen: Approve
- Jiri Srba: Approve
-
Diff: 136 lines (+43/-29)3 files modifiedsrc/dk/aau/cs/model/tapn/NetworkMarking.java (+32/-19)
src/dk/aau/cs/model/tapn/TimedArcPetriNetNetwork.java (+10/-0)
src/dk/aau/cs/verification/TAPNComposer.java (+1/-10)
Related bugs
Related blueprints
Branch information
Recent revisions
- 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
Branch metadata
- Branch format:
- Branch format 7
- Repository format:
- Bazaar repository format 2a (needs bzr 1.16 or later)
- Stacked on:
- lp:tapaal