Join/Login
Business Software
Open Source Software
For Vendors
Blog
About
More
Articles
Create
SourceForge Podcast
Site Documentation
Subscribe to our Newsletter
Support Request
For Vendors
Help
Create
Join
Login
Business Software
Open Source Software
SourceForge Podcast
Resources
Articles
Case Studies
Blog
Menu
Help
Create
Join
Login
Home
Browse
SAVE-IDE
Feature Requests
SAVE-IDE Feature Requests
Status:
Alpha
Brought to you by:
pettersson
,
stefan19682
Summary
Files
Reviews
Support
Tickets ▾
Feature Requests
Bugs
News
Discussion
Code
Menu
▾
▴
Create Ticket
View Stats
Group
Searches
Changes
Closed Tickets
Open Tickets
Help
Formatting Help
Feature Requests
Maximize
Restore
Showing 17 results of 17
#
Sort A -> Z
Sort Z -> A
Summary
▾
Sort A -> Z
Sort Z -> A
Milestone
▾
Sort A -> Z
Sort Z -> A
Filter by Milestone
Not set
Status
▾
Sort A -> Z
Sort Z -> A
Filter by Status
open (17)
Not set
Owner
▾
Sort A -> Z
Sort Z -> A
Filter by Owner
john-h (5)
seve-s (1)
Not set
Created
▾
Sort A -> Z
Sort Z -> A
Updated
▾
Sort A -> Z
Sort Z -> A
Priority
▾
Sort A -> Z
Sort Z -> A
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
Ticket Number
Summary
Milestone
Status
Owner
Creator
Created
Updated
Labels
Priority
(applies to this page only)
×
Want the latest updates on software, tech news, and AI?
Get latest updates about software, tech news, and AI from SourceForge directly in your inbox once a month.
Submit