The library FDR3 uses for parsing, type checking and evaluating machine CSP.
Stars
30
Forks
6
Watchers
30
Open Issues
2
Overall repository health assessment
No package.json found
This might not be a Node.js project
Merge pull request #18 from tomgr/feature/update-dependencies
587c872View on GitHubUpdate to binaries to improve compatibility with GHC versions
bba4138View on GitHubUpdates to make libcspm compilable with recent GHC
c542a28View on GitHubAdd a missing case causing cspmprofiler to fall over on scripts containing project.
ed29e53View on GitHubDon't compare CompositeSets directly, as their contents may contain duplicates.
f4c9e0dView on GitHubFix the live variable analyser to take into account variables that are live in parent frames.
8f76cc8View on GitHubAdd some more informative error messages for infinite sets.
92e93e9View on GitHubFix a bug when combine dot fields where the right-hand side is of the form 'x.y.z' for atoms x and y.
eca4231View on GitHubFix module instances that contain elements of type Map.
1494bfeView on GitHub