Analysis of Concurrent Systems
» McScM
Overview
Download
Roadmap
Issues
Documents
Wiki
Files
1.0
Time tracking
Estimated time
1
.00
hour
04/08/2011
100%
6 closed
(100%) 0 open (0%)
Related issues
Bug #17
: Packaging problems when compiling pure bytecode version
Bug #36
: Problems with Static build under LInux
Feature #13
: Adapt Makefiles to Debugging/Profiling and split bytecode/native
Feature #19
: Have a single executable
Feature #23
: Better error message for incorrect regexps in bad states
Loading...