| 38 |
Duplicate connections in .save file |
None |
open |
|
2009-02-17
|
2009-02-17
|
5 |
|
| 37 |
Upaal Port config |
None |
open |
|
2008-07-15
|
2008-07-15
|
5 |
|
| 35 |
Verifyta.exe output, very minor formatting problems |
None |
open |
John Håkansson
|
2008-02-11
|
2008-02-11
|
1 |
|
| 34 |
FROM/TO elements must be in order |
None |
open |
|
2008-02-10
|
2008-02-10
|
5 |
|
| 33 |
Comment-only guard/invariant causes unexepected error |
None |
open |
|
2008-02-08
|
2008-02-08
|
1 |
|
| 32 |
Unknown exception if port names start with a numeric |
None |
open |
|
2008-01-29
|
2008-01-29
|
1 |
|
| 30 |
A[] not deadlock -> crash in portsrv.exe |
None |
open |
John Håkansson
|
2008-01-09
|
2008-01-11
|
5 |
|
| 29 |
Mapping problem (parameters having same leftstr()) |
None |
open |
|
2007-12-25
|
2007-12-29
|
9 |
|
| 27 |
Changing .saveccm breaks .saveccm_diagram |
None |
open |
|
2007-12-25
|
2008-02-10
|
3 |
|
| 23 |
Synchronization of communication between server and plug-in |
v0.0 |
open |
John Håkansson
|
2007-12-17
|
2007-12-23
|
6 |
|
| 22 |
savexmlgenerator.mt - requires manual intervetion |
v0.0 |
open |
|
2007-11-26
|
2007-12-23
|
1 |
|
| 17 |
Sequence diagram problems after doing CHECK |
v0.0 |
open |
John Håkansson
|
2007-11-19
|
2008-01-11
|
1 |
|
| 15 |
AV in Uppaal PORT if TA-declaration lacks \";\" |
v0.0 |
open |
|
2007-11-16
|
2007-12-23
|
1 |
|
| 13 |
Incorrect code generated for Delegation arrows |
v0.0 |
open |
|
2007-11-07
|
2008-02-13
|
9 |
|
| 12 |
Removing a connected port from withing assembly |
v0.0 |
open |
|
2007-11-07
|
2007-12-23
|
1 |
|
| 9 |
Port-icons do not rotate according to placement |
v0.0 |
open |
|
2007-11-07
|
2007-12-23
|
9 |
|
| 6 |
Cannot use same TA model for two components |
v0.0 |
open |
Mehrdad Saadatmand
|
2007-11-06
|
2008-04-15
|
1 |
|
| 5 |
Copy->Paste does not work |
v0.0 |
open |
Mehrdad Saadatmand
|
2007-11-06
|
2008-04-24
|
1 |
|
| 4 |
Mapping file (.tamap) required even if not needed |
v0.0 |
open-later |
|
2007-11-06
|
2007-12-23
|
1 |
|
