Menu

Feature Requests  Maximize  Restore

Showing 17 results of 17

# Summary Milestone Status Owner Created Updated Priority
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.