Feature Requests Maximize Restore

Showing results of 31

# Summary Status Owner Creator Created Priority
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  
169 Better support for literal labels open Arend Rensink 2014-03-27 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  
163 Remarks on edges in type graph open Eduardo Zambon 2013-06-03 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  
154 Parameters for recipes open Arend Rensink 2012-10-28 5  
153 Nested atomicity open Arend Rensink 2012-10-28 5  
152 Priorities for recipes open Arend Rensink 2012-10-28 5  
151 Allowed forward calls in control program open Arend Rensink 2012-10-28 5  
150 Rule renaming in control programs open Arend Rensink 2012-10-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  
1 2 > >> (Page 1 of 2)