SAVE-IDE Bugs

Status: Alpha

Brought to you by: pettersson, stefan19682

Bugs Maximize Restore

# Sort A -> Z Sort Z -> A	Summary▾ Sort A -> Z Sort Z -> A	Milestone▾ Sort A -> Z Sort Z -> A Filter by Milestone	Status▾ Sort A -> Z Sort Z -> A Filter by Status	Owner▾ Sort A -> Z Sort Z -> A Filter by Owner	Created▾ Sort A -> Z Sort Z -> A	Updated▾ Sort A -> Z Sort Z -> A	Priority▾ Sort A -> Z Sort Z -> A
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

Ticket Number
Summary
Milestone
Status
Owner
Creator
Created
Updated
Labels
Priority

(applies to this page only)