The CSPM-ToProlog package
This package contains a translation from a CSPM AST to the representation used by the ProB tool. This code is only interesting for ProB developers.
Properties
| Versions | 0.3.1.0, 0.4.0.0, 0.5.0.0 |
|---|---|
| Dependencies | array (0.4.*), base (≥4.0 & <5.0), containers (0.4.*), CSPM-Frontend (0.9.*), ghc-prim (0.2.*), pretty (1.1.*) |
| License | BSD3 |
| Author | 2006-2012 Marc Fontaine |
| Maintainer | Marc Fontaine <fontaine@cs.uni-duesseldorf.de> |
| Category | Formal Methods |
| Upload date | Mon Jul 2 14:42:18 UTC 2012 |
| Uploaded by | MarcFontaine |
| Built on | ghc-7.4 |
Modules
Downloads
- CSPM-ToProlog-0.5.0.0.tar.gz (Cabal source package)
- package description (included in the package)