Analysis of Concurrent Systems
» McScM
Overview
Download
Roadmap
Issues
Documents
Wiki
Files
1.x
(mostly superseded by 2.0)
25%
2 closed
(25%)
6 open
(75%)
Related issues
Bug #25
: Scm consistency check takes too long
Bug #83
: 64-bit version displays counterexamples even with the -quiet option
Feature #40
: Source-code documentation (ocamldoc) in src/svar
Feature #73
: Better regular expressions
Loading...