Issues

Filters

Apply Clear

Toggle_check # Tracker Status Priority Subject Assignee Updated
563 BugNewNormal Exception in thread "Testgui-handleAutoRunStartEvent" (java.lang.OutOfMemoryError: Java heap space) 23 Jan 2012 10:09
447 BugNewNormal"Instantiations" text field is hidden07 Dec 2010 17:47
370 BugFeedbackNormal"Use Instantiation" button is always enabled21 Jan 2011 17:57
110 BugNewNormal(due to asynchonous Progress updates?) progress pane elements are updated out of order11 Jun 2009 14:35
580 BugFeedbackNormala newline at the end of textfield of input actions and output actions is not ignored 12 Mar 2012 11:37
208 FeatureAssignedNormaladd built-in support for formalisms like mcrl2, mucrl, jararaca, with adjustable preferences10 Nov 2009 17:49
123 FeatureNewNormaladd heuristics to dot writer to break long state/transition labels into multiple lines16 Jun 2009 11:21
527 FeatureNewNormaladd option to visualize as QTS (transform LTS to QTS before visualization)07 Apr 2011 11:56
115 FeatureNewNormaladd tiled notebook docking window for anidot11 Jun 2009 15:31
138 FeatureNewNormaladd visualization of model or susp aut that shows coverage of automaton19 Jun 2009 12:40
85 FeatureNewNormalallow custom state (log?) extractor04 Jun 2009 21:29
70 FeatureNewNormalallow custom viewers/animators (or general log-monitors?)12 May 2009 09:28
280 FeatureNewNormalallow saving and loading of a configuration26 Jan 2010 22:57
547 FeatureFeedbackNormalallow use of separate seed for Random number generator of model simulator26 Oct 2011 13:51
68 FeatureNewNormalallow user to cancel View if it takes a long time (infinite model?)25 Apr 2009 11:24
579 FeatureNewNormalallow user to select display of long or short node labels in automata eg for suspension automaton or testrun (and use tooltips for long labels?)02 Mar 2012 13:55
744 BugFeedbackNormalanidot does not work on 64-bit unix (linux) -- solution: install 32-bit library of libjpeg.so.6227 Jun 2014 12:07
160 BugNewNormalanidot does not work on a mac, unless development tools are installed (needs /usr/lib/libltdl.3.dylib)20 Aug 2009 15:04
95 FeatureNewNormalbe able to continue testing after a pass,miss or pass,hit verdict???11 Jun 2009 12:24
106 FeatureNewNormalbe able to highlight omitted individual input actions from utraceChecker result?11 Jun 2009 14:26
244 FeatureNewNormalbe able to step through a finished test run, and for each step see menu of inputs and outputs03 Dec 2009 16:43
104 FeatureNewNormalbetter way to 'play' multiple utraceChecker results in simulator11 Jun 2009 14:24
121 FeatureNewNormalchange log-LTS to use adapter states/transitions? to be able to have (eg) also impl state?12 Jun 2009 18:29
111 BugNewNormalchanging guided simulator file name in sim pane text field has no effect11 Jun 2009 14:36
448 BugFeedbackNormalconfusing error message when instantiating already instantiated item21 Jan 2011 17:55

1 2 3 4 Next ยป (1-25/81) | Per page: 25, 50, 100

Also available in: Atom CSV PDF