Closed Features

Apply Clear

Toggle_check # Tracker Status Priority Subject Assignee Updated Target version
547 FeatureFeedbackNormalallow use of separate seed for Random number generator of model simulator26 Oct 2011 13:511.9.0
254 FeatureResolvedNormalmake it harder to by-accident delete a log pane - only allow deletion of non-active ones?26 Apr 2010 15:071.4.0
212 FeatureClosedNormalsupport use of user/tool-contributed graphviz (dot) file for torx-explorer animation30 Nov 2009 11:121.3.0
179 FeatureClosedNormaloption to apply angelic completion to model?19 Jan 2010 11:421.3.0
112 FeatureClosedNormalextend anidot multicast to allow tree selection16 Jun 2009 17:081.1.0
105 FeatureClosedNormalbe able to save utraceChecker result trace?20 Jan 2010 16:551.3.0
93 FeatureClosedNormalit could be nice if we can ask iocoChecker to only look for the first failure18 Jan 2010 10:391.3.0
92 FeatureClosedNormalit would be nice to see iocoChecker failure traces as soon as they are found18 Jan 2010 10:291.3.0
86 FeatureClosedNormalcapture concrete adapter interaction in log11 Jun 2009 15:531.0.0
74 FeatureClosedNormaladd adapter that communictes labels over tcp14 Jun 2009 21:221.0.0
73 FeatureClosedNormalshow iocoChecker out(spec/impl after trace) set difference in results table?18 Jan 2010 10:301.3.0
72 FeatureClosedNormaladd a way to View (visualize) the difference reported by iocoChecker18 Jan 2010 10:291.3.0
71 FeatureClosedNormaladd posibility to save test run log file14 Jun 2009 21:231.0.0
69 FeatureClosedNormaladd Simulation tab(s)14 Jun 2009 21:251.0.0
58 FeatureClosedNormaladd font size control (eg for demos)14 Jun 2009 21:300.99
57 FeatureClosedNormalmake it easier to use arbitrary (cycle-free) LTS as guidance information14 Jun 2009 21:301.0.0
24 FeatureClosedNormalbe able to specify adapter parameters14 Jun 2009 21:310.99
23 FeatureClosedNormalallow tests to be input-enabledAxel Belinfante14 Jun 2009 21:430.99

(1-18/18)

Also available in: Atom CSV PDF