Work at SourceForge, help us to make it a better place! We have an immediate need for a Support Technician in our San Francisco or Denver office.

Close

Feature Requests Maximize Restore

Showing results of 28

# Summary Status Owner Creator
  • Sort A -> Z
  • Sort Z -> A
  • Filter by Creator
Created Priority
176 Give the model checking dialog more space fo the formula open Arend Rensink 4 days ago 4  
175 Reinstate edge routing open Eduardo Zambon 4 days ago 5  
174 Recursive delete of containment open Eduardo Zambon 4 days ago 5  
172 Priority change action should also apply to recipes open Arend Rensink 2014-06-09 4  
171 Allow node type/flag edges in conditional rule exploration open Arend Rensink 2014-04-10 5  
170 Add module.any construct to modelling language open Arend Rensink 2014-04-10 5  
166 Add CTL model checking to command-line Generator strategies open Arend Rensink 2013-11-25 5  
164 Quantifier level on test edge open Arend Rensink 2013-10-21 5  
160 Add normalised aspect graph preview open Arend Rensink 2013-04-17 5  
159 Do not attempt to show large graphs open Arend Rensink 2013-04-14 5  
157 Random() open Anonymous 2013-02-05 5  
156 Linear/confluent rules exploration open Arend Rensink 2012-11-28 5  
148 More control over nodified edge label open Arend Rensink 2012-10-13 5  
144 Conjunctive operations open Vincent de Bruijn 2012-08-27 5  
142 Refactor mouse event handling in graphs open Harry 2012-07-26 5  
140 Include labels with errors in the find/replace dialog open Eduardo Zambon 2012-07-18 5  
139 HostNode ID property open Harry 2012-07-12 5  
136 Support symbolic (STS) exploration open Arend Rensink Vincent de Bruijn 2012-06-29 5  
131 LTS inspection functionality open Arend Rensink 2012-05-16 5  
127 Actions in folder panel should listen to folder selection open Arend Rensink Arend Rensink 2012-04-18 4  
126 WILD: Escape the pushout by delegating to external code open Eduardo Zambon 2012-03-28 1  
123 Extend new attribute syntax to parameters open Arend Rensink Arend Rensink 2012-01-18 5  
120 Deterministic matching open Eduardo Zambon 2011-11-14 5  
115 else-branch for existential quantifier open Arend Rensink 2011-09-28 5  
97 Serialise explorations for reuse open Arend Rensink 2011-05-18 5  
  • Ticket Number
  • Summary
  • Milestone
  • Status
  • Owner
  • Creator
  • Created
  • Updated
  • Labels
  • Priority
 
(applies to this page only)
1 2 > >> (Page 1 of 2)