848640
|
#848640 |
Simulation mode can deactivate components
|
|
2
Critical
|
Kenneth Yrke Jørgensen
|
10
Fix Released
|
849985
|
#849985 |
Component editing problems save/open
|
|
2
Critical
|
|
10
Fix Released
|
870793
|
#870793 |
Optimized reductions to UPPAAL fails with orphant transitions
|
|
2
Critical
|
|
10
Fix Released
|
828016
|
#828016 |
Batch processing does not work
|
|
3
High
|
|
10
Fix Released
|
829363
|
#829363 |
Enable to turn symmetry off for TAPAAL engine
|
|
3
High
|
|
10
Fix Released
|
831992
|
#831992 |
Problem showing query dialog on small screens
|
|
3
High
|
Kenneth Yrke Jørgensen
|
10
Fix Released
|
832021
|
#832021 |
Drawing a arc from transition to place can make an arrow not connected to anything
|
|
3
High
|
Kenneth Yrke Jørgensen
|
10
Fix Released
|
832081
|
#832081 |
Remember the most recently used directory in file opening dialog
|
|
3
High
|
|
10
Fix Released
|
844681
|
#844681 |
Renaming of capital to small letters in shared places/transitions
|
|
3
High
|
Kenneth Yrke Jørgensen
|
10
Fix Released
|
848125
|
#848125 |
Problem loading net to batch processing
|
|
3
High
|
|
10
Fix Released
|
859832
|
#859832 |
Query Parsing Problem
|
|
3
High
|
|
10
Fix Released
|
861816
|
#861816 |
Broken Query Layout
|
|
3
High
|
Jiri Srba
|
10
Fix Released
|
867767
|
#867767 |
Selection possible in simulation mode
|
|
3
High
|
|
10
Fix Released
|
868151
|
#868151 |
Very slow verification when trace is on "some"
|
|
3
High
|
Morten Jacobsen
|
10
Fix Released
|
870816
|
#870816 |
Memory allocation error with 32 bit version
|
|
3
High
|
|
10
Fix Released
|
871445
|
#871445 |
Removal of components can deactivate the last component
|
|
3
High
|
Kenneth Yrke Jørgensen
|
10
Fix Released
|
836539
|
#836539 |
Show hotkeys on mouseover in the editor
|
|
4
Medium
|
Jiri Srba
|
10
Fix Released
|
837937
|
#837937 |
Boundedness Check and Green Icon
|
|
4
Medium
|
|
10
Fix Released
|
848127
|
#848127 |
Remember path in open file dialog also for batch processing
|
|
4
Medium
|
|
10
Fix Released
|
856239
|
#856239 |
Highlight the first component
|
|
4
Medium
|
Kenneth Yrke Jørgensen
|
10
Fix Released
|
860555
|
#860555 |
Removing component jumps at the last component
|
|
4
Medium
|
Kenneth Yrke Jørgensen
|
10
Fix Released
|
872282
|
#872282 |
Possible to remove the last component
|
|
4
Medium
|
Kenneth Yrke Jørgensen
|
10
Fix Released
|
872801
|
#872801 |
After entering simulation mode selection is broken
|
|
4
Medium
|
Kenneth Yrke Jørgensen
|
10
Fix Released
|
872815
|
#872815 |
Possible to disable all active templates using undo/redo
|
|
4
Medium
|
Kenneth Yrke Jørgensen
|
10
Fix Released
|
872818
|
#872818 |
Undo/Redo on a constant does not update the Global constant list
|
|
4
Medium
|
Kenneth Yrke Jørgensen
|
10
Fix Released
|
873336
|
#873336 |
Undo/Redo does not work for copy of template
|
|
4
Medium
|
Kenneth Yrke Jørgensen
|
10
Fix Released
|
844693
|
#844693 |
Editing a shared place without renaming it still creates an undo/redo object
|
|
5
Low
|
Kenneth Yrke Jørgensen
|
10
Fix Released
|
831990
|
#831990 |
Changing capitalization of places/transitions is now allowed
|
|
1
Undecided
|
Kenneth Yrke Jørgensen
|
10
Fix Released
|