Analysis of Concurrent Systems » McScM

  • Overview
  • Download
  • Roadmap
  • Issues
  • Documents
  • Wiki
  • Files

Issues

Summary

Issues

Toggle_check # Project Tracker Status Priority Subject Author Assignee
82 McScMFeatureNewLowLearning-based algorithmAlexander Heußner
81 McScMFeatureNewNormalSCM++ (new automata definition language)Alexander Heußner
80 McScMFeatureNewLowJSON output of counter-examplesAlexander Heußner
78 McScMFeatureNewNormalSCM input languageTristan Le GallTristan Le Gall
73 McScMFeatureNewNormalBetter regular expressionsTristan Le GallTristan Le Gall
72 McScMBugNewHighBad states are not checkedTristan Le GallTristan Le Gall
59 McScMBugNewNormalAccount for k-max in trace-checking enginesGrégoire SutreGrégoire Sutre
58 McScMFeatureNewNormalSeparate queue representationTristan Le GallTristan Le Gall
40 McScMFeatureNewNormalSource-code documentation (ocamldoc) in src/svarGrégoire Sutre
29 McScMFeatureIn ProgressNormalSupport Promela InputGrégoire SutreAlexander Heußner
26 McScMFeatureNewNormalOptimize scm cartesian product (or avoid it)Grégoire SutreTristan Le Gall
25 McScMBugNewHighScm consistency check takes too longGrégoire SutreTristan Le Gall
22 McScMBugNewNormal--help output not sensitive to terminal's characterwidthAlexander HeußnerAlexander Heußner
21 McScMFeatureNewNormalredesign of command line parameters with respect to different checker-modulesAlexander HeußnerAlexander Heußner

Also available in: Atom CSV PDF

Loading...
Powered by Redmine © 2006-2011 Jean-Philippe Lang