| 18 |
A way to specify ENVIRONMENT filename for .port file |
None |
open |
|
2008-02-10
|
2008-02-10
|
5 |
|
| 17 |
.port files -> Open In Uppaal Port |
None |
open |
|
2008-02-10
|
2008-02-10
|
5 |
|
| 16 |
Properties (for model checking) remembered / read från .q |
None |
open |
John Håkansson
|
2008-02-07
|
2008-02-07
|
5 |
|
| 15 |
Visual difference between internal states and custom states |
None |
open |
John Håkansson
|
2008-01-29
|
2008-02-07
|
5 |
|
| 14 |
More control over port name captions |
None |
open |
|
2008-01-10
|
2008-01-10
|
5 |
|
| 13 |
Components always visible |
None |
open |
John Håkansson
|
2008-01-09
|
2008-01-11
|
5 |
|
| 12 |
Change edge type |
None |
open |
|
2007-11-24
|
2007-11-24
|
2 |
|
| 11 |
TA Declarations Dialog bigger |
None |
open |
|
2007-11-19
|
2008-01-10
|
5 |
|
| 10 |
Bigger or resizable Mapping dialog |
None |
open |
|
2007-11-16
|
2007-11-16
|
2 |
|
| 9 |
Less sensitive TA parameter syntax |
None |
open |
|
2007-11-16
|
2007-11-16
|
5 |
|
| 8 |
Auto-Create System Description (when generating for Uppaal) |
None |
open |
|
2007-11-16
|
2007-11-16
|
5 |
|
| 7 |
Generate files (.save) more human readable |
None |
open |
|
2007-11-11
|
2007-11-11
|
2 |
|
| 6 |
Generation/Export from context menu |
None |
open |
Séve
|
2007-11-07
|
2007-11-12
|
1 |
|
| 5 |
Auto-scroll down for sequence diagram |
None |
open |
John Håkansson
|
2007-11-07
|
2007-11-19
|
6 |
|
| 4 |
Support for bottom-up design |
None |
open |
|
2007-11-07
|
2007-11-07
|
7 |
|
| 2 |
Same name for both .savecccm and .saveccm_diagram |
None |
open |
|
2007-10-17
|
2007-11-07
|
4 |
|
| 1 |
Delay/Clock: allow combined ports? |
None |
open |
John Håkansson
|
2007-10-11
|
2007-11-06
|
2 |
|
