Issues

Filters

Apply Clear

Toggle_check # Tracker Status Priority Subject Assignee Updated
126 FeatureNewNormalin anidot , let the window scroll automatically to show the highlighted node(s)17 Jun 2009 10:53
123 FeatureNewNormaladd heuristics to dot writer to break long state/transition labels into multiple lines16 Jun 2009 11:21
121 FeatureNewNormalchange log-LTS to use adapter states/transitions? to be able to have (eg) also impl state?12 Jun 2009 18:29
120 FeatureNewNormalshow pending observations in the gui?12 Jun 2009 18:26
118 BugNewNormalthere is no checking that a .log file contains a (J)TorX log11 Jun 2009 15:46
117 FeatureNewNormalsuggest/give/add default file suffix when saving something to file11 Jun 2009 15:45
115 FeatureNewNormaladd tiled notebook docking window for anidot11 Jun 2009 15:31
114 FeatureNewNormalneed to be able to configure working directory in which implementation is to be run11 Jun 2009 15:06
111 BugNewNormalchanging guided simulator file name in sim pane text field has no effect11 Jun 2009 14:36
110 BugNewNormal(due to asynchonous Progress updates?) progress pane elements are updated out of order11 Jun 2009 14:35
108 BugNewNormalthere is no Trace type in AniDOT11 Jun 2009 14:30
107 BugNewNormalin Config Components pane, need to press to many Virew buttons to make things work25 Jan 2010 14:31
106 FeatureNewNormalbe able to highlight omitted individual input actions from utraceChecker result?11 Jun 2009 14:26
104 FeatureNewNormalbetter way to 'play' multiple utraceChecker results in simulator11 Jun 2009 14:24
101 BugNewNormaldisable all (relevant) buttons when IocoChecker is running11 Jun 2009 14:18
100 FeatureNewNormalif we only have a single ioco/utrace-checker trace result, does it need to be selected to be used?11 Jun 2009 12:33
99 BugNewNormalit is not possible to increase the size of the message pane11 Jun 2009 12:31
98 BugNewNormalfor windows, it might be better to have separate file open/save dialogs, instead of reusing a single one11 Jun 2009 12:30
95 FeatureNewNormalbe able to continue testing after a pass,miss or pass,hit verdict???11 Jun 2009 12:24
90 BugNewNormaliocoChecker seems not able to handle tau loops11 Jun 2009 11:45
85 FeatureNewNormalallow custom state (log?) extractor04 Jun 2009 21:29
84 BugNewNormalfind a way to deal with input-output non-determinism22 May 2009 08:42
83 BugNewNormalstop test run with real program also when program goes away during test run22 May 2009 08:32
82 BugNewHighstopping test run with real program may end in fail beause program is killed?05 Jun 2009 18:31
70 FeatureNewNormalallow custom viewers/animators (or general log-monitors?)12 May 2009 09:28

« Previous 1 2 3 4 Next » (51-75/81) | Per page: 25, 50, 100

Also available in: Atom CSV PDF