The language-boogie package
Boogaloo is an interpreter and run-time assertion checker for the Boogie intermediate verification language. The package also provides a language infrastructure library, including a Boogie AST, parser, type checker, and pretty-printer.
Properties
| Versions | 0.1, 0.1.1, 0.2 |
|---|---|
| Dependencies | ansi-terminal (0.5.*), base (4.*), cmdargs (0.10.*), containers (≥0.4 & <0.6), filepath (1.3.*), HUnit (1.2.*), lens (3.7.*), mtl (2.1.*), parsec (3.1.*), pretty (1.1.*), random (1.0.*), stream-monad (0.4.*), time (1.4.*), transformers (0.3.*) |
| License | BSD3 |
| Author | Nadia Polikarpova |
| Maintainer | nadia.polikarpova@gmail.com |
| Category | Language |
| Home page | https://bitbucket.org/nadiapolikarpova/boogaloo |
| Source repository | hg clone https://bitbucket.org/nadiapolikarpova/boogaloo |
| Executables | boogaloo-tests, boogaloo |
| Upload date | Tue Feb 5 16:04:40 UTC 2013 |
| Uploaded by | NadiaPolikarpova |
| Built on | ghc-7.6 |
Modules
- Language
- Boogie
- Language.Boogie.AST
- Language.Boogie.BasicBlocks
- Language.Boogie.Environment
- Language.Boogie.ErrorAccum
- Language.Boogie.Generator
- Language.Boogie.Heap
- Language.Boogie.Interpreter
- Language.Boogie.Intervals
- Language.Boogie.NormalForm
- Language.Boogie.Parser
- Language.Boogie.Position
- Language.Boogie.PrettyPrinter
- Language.Boogie.Tokens
- Language.Boogie.TypeChecker
- Language.Boogie.Util
- Boogie
Downloads
- language-boogie-0.2.tar.gz (Cabal source package)
- package description (included in the package)