Issues

Filters

Apply Clear

Toggle_check # Tracker Status Priority Subject Assignee Updated
736 FeatureNewNormalInequality operators for invariant expressionsAlfons Laarman27 Feb 2014 18:07
731 FeatureNewNormalAdd shared hash tables to caching layerAlfons Laarman06 Dec 2013 13:27
730 BugNewNormalObject copying during build processJeroen Meijer01 May 2014 13:50
729 BugNewNormalPRISM output is not interpreted correctlyStefan Blom08 Nov 2013 15:16
724 FeatureAssignedLowSupport better LTL to Buchi solutionsAlfons Laarman01 May 2014 13:52
722 FeatureNewNormalRefine PINS transitions as seperate guards and actions06 Sep 2013 13:27
720 FeatureNewNormalltl2ba update22 Feb 2014 11:57
708 BugNewNormalStackOverflowError while parsingAlfons Laarman25 Apr 2013 17:08
707 BugNewHighReadable error messages for parsersStefan Blom19 Mar 2013 00:18
706 BugNewNormalfloating point error in gcf tool?Stefan Blom15 Mar 2013 01:30
705 BugNewNormalNDFS remove subsumed states10 Mar 2013 14:09
703 FeatureAssignedNormalImprove testsuiteJeroen Meijer01 May 2014 13:45
699 MaintenanceNewNormalImprove multi-process memory managementAlfons Laarman01 May 2014 13:57
698 MaintenanceNewLowRename HRE functions04 Mar 2013 16:38
697 MaintenanceNewNormalMove remaining sequential tool functionality to multi-core toolAlfons Laarman04 Mar 2013 17:23
695 MaintenanceNewNormalConsolidate TA and non-TA algorithms in multi-core toolAlfons Laarman06 Dec 2013 13:27
694 BugNewNormalFSM format direct-write check missingStefan Blom04 Mar 2013 16:56
688 FeatureNewNormalextend IO with DOT formatJeroen Meijer01 May 2014 13:58
687 BugNewNormalImplement complete trace for DFSfifoAlfons Laarman08 Feb 2013 15:06
684 BugNewNormalETF breaks on negative numbersStefan Blom14 Dec 2012 13:50
683 FeatureNewNormalSupport pretty printing of variables13 Dec 2012 17:46
682 BugAssignedNormalbarrier is not cleaned up correctlyStefan Blom01 May 2014 13:59
680 FeatureNewNormalPINS state and label manipulation functionality05 Sep 2013 15:59
678 BugNewNormalMcrl tests fail in testsuiteJeroen Meijer01 May 2014 13:59
677 BugNewNormalAligned textual output on bug reporting in all tools05 Feb 2013 16:51

1 2 Next ยป (1-25/44) | Per page: 25, 50

Also available in: Atom CSV PDF