Apply Clear

Toggle_check # Tracker Status Priority Subject Assignee Updated
744 BugFeedbackNormalanidot does not work on 64-bit unix (linux) -- solution: install 32-bit library of Jun 2014 12:07
644 FeatureNewNormalwhen JTorX test run start-up takes too long, because of visualization, suggest user to disable visualization (e.g. in pop-up)06 Nov 2013 12:46
618 BugNewNormalWhen instantiation (via Use instantiation button) fails "Use instantiation" button becomes disabled and no error is reported08 Jun 2012 16:29
586 BugNewNormalJTorX does not start on windows (because the test to detect 32/64bit does not work as intended?)30 Mar 2012 11:23
585 BugNewNormalJTorX does not start on mac os x (10.6.8) (because: sed not found in JavaApplicationStub script)30 Mar 2012 11:20
583 BugFeedbackNormalJTorX can only see initial state of graphml file produced with recent yEd when it has node label 128 Mar 2012 00:23
582 BugFeedbackUrgentJTorX cannot read graphml files produced by recent version of yEd09 Mar 2012 02:15
580 BugFeedbackNormala newline at the end of textfield of input actions and output actions is not ignored 12 Mar 2012 11:37
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
578 BugNewNormalJTorX crashes when reading empty line from program that communicates using labels05 Oct 2013 14:34
566 BugNewNormalwhile test run still goes on in automatic mode, the Auto/Stop button (in 'next test step' pane) becomes 'Auto' and disabled09 Feb 2012 17:42
563 BugNewNormal Exception in thread "Testgui-handleAutoRunStartEvent" (java.lang.OutOfMemoryError: Java heap space) 23 Jan 2012 10:09
551 BugFeedbackNormaluse of || in conditions of an STS may lead to incorrect test steps in menu26 Oct 2011 13:47
550 BugNewNormalsimulation of primer (suspension automaton) of STS: determinization is not used when one action label enables multiple actions from current menu07 Sep 2011 10:04
549 BugFeedbackNormalvisualization of STS does not highlight multiple switches between two locations26 Oct 2011 13:48
548 BugNewNormalJTorX crashes when invoked with incompletely specified guide05 Sep 2011 15:04
547 FeatureFeedbackNormalallow use of separate seed for Random number generator of model simulator26 Oct 2011 13:51
546 BugFeedbackNormalMac OS 10.7 (Lion): Automaton visualizations do not work (jtorx-1.8.0)24 Jul 2011 22:38
527 FeatureNewNormaladd option to visualize as QTS (transform LTS to QTS before visualization)07 Apr 2011 11:56
461 BugFeedbackNormalXML import failes when there is an empty <restriction> element21 Jan 2011 17:53
460 FeatureNewNormalShow STSimulator Errors in JTorX21 Jan 2011 12:58
448 BugFeedbackNormalconfusing error message when instantiating already instantiated item21 Jan 2011 17:55
447 BugNewNormal"Instantiations" text field is hidden07 Dec 2010 17:47
370 BugFeedbackNormal"Use Instantiation" button is always enabled21 Jan 2011 17:57
359 BugNewNormalinstantiator keeps running (is not stopped) when test run ends16 May 2010 23:42

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

Also available in: Atom CSV PDF