Issues

Filters

Apply Clear

Toggle_check # Project Tracker Status Priority Subject Assignee Updated
745 CTIT computing labBugNewNormaldisk /dev/sdd op ctit005 valt weg22 Jul 2014 09:00
744 JTorXBugFeedbackNormalanidot does not work on 64-bit unix (linux) -- solution: install 32-bit library of libjpeg.so.6227 Jun 2014 12:07
736 LTSminFeatureNewNormalInequality operators for invariant expressionsAlfons Laarman27 Feb 2014 18:07
731 LTSminFeatureNewNormalAdd shared hash tables to caching layerAlfons Laarman06 Dec 2013 13:27
730 LTSminBugNewNormalObject copying during build processJeroen Meijer01 May 2014 13:50
729 LTSminBugNewNormalPRISM output is not interpreted correctlyStefan Blom08 Nov 2013 15:16
726 PuptolBugNewNormalfailure to create per-session data directory is not mentioned to end-user, and not retried in case of failure18 Oct 2013 11:29
724 LTSminFeatureAssignedLowSupport better LTL to Buchi solutionsAlfons Laarman01 May 2014 13:52
722 LTSminFeatureNewNormalRefine PINS transitions as seperate guards and actions06 Sep 2013 13:27
720 LTSminFeatureNewNormalltl2ba update22 Feb 2014 11:57
708 SpinSBugNewNormalStackOverflowError while parsingAlfons Laarman25 Apr 2013 17:08
707 LTSminBugNewHighReadable error messages for parsersStefan Blom19 Mar 2013 00:18
706 LTSminBugNewNormalfloating point error in gcf tool?Stefan Blom15 Mar 2013 01:30
705 LTSminBugNewNormalNDFS remove subsumed states10 Mar 2013 14:09
703 LTSminFeatureAssignedNormalImprove testsuiteJeroen Meijer01 May 2014 13:45
699 LTSminMaintenanceNewNormalImprove multi-process memory managementAlfons Laarman01 May 2014 13:57
698 LTSminMaintenanceNewLowRename HRE functions04 Mar 2013 16:38
697 LTSminMaintenanceNewNormalMove remaining sequential tool functionality to multi-core toolAlfons Laarman04 Mar 2013 17:23
695 LTSminMaintenanceNewNormalConsolidate TA and non-TA algorithms in multi-core toolAlfons Laarman06 Dec 2013 13:27
694 LTSminBugNewNormalFSM format direct-write check missingStefan Blom04 Mar 2013 16:56
688 LTSminFeatureNewNormalextend IO with DOT formatJeroen Meijer01 May 2014 13:58
687 LTSminBugNewNormalImplement complete trace for DFSfifoAlfons Laarman08 Feb 2013 15:06
684 LTSminBugNewNormalETF breaks on negative numbersStefan Blom14 Dec 2012 13:50
683 LTSminFeatureNewNormalSupport pretty printing of variables13 Dec 2012 17:46
682 LTSminBugAssignedNormalbarrier is not cleaned up correctlyStefan Blom01 May 2014 13:59

1 2 3 ... 6 Next ยป (1-25/150) | Per page: 25, 50, 100

Also available in: Atom CSV PDF