language-boogie: Interpreter and language infrastructure for Boogie.
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.
Modules
[Index]
- 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
Flags
Automatic Flags
Name | Description | Default |
---|---|---|
boogaloo | Build the boogaloo executable | Enabled |
tests | Build boogaloo-tests executable | Disabled |
Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info
Downloads
- language-boogie-0.2.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
- No Candidates
Versions [RSS] | 0.1, 0.1.1, 0.2 |
---|---|
Dependencies | ansi-terminal (>=0.5 && <0.6), base (>=4 && <5), cmdargs (>=0.10 && <0.11), containers (>=0.4 && <0.6), filepath (>=1.3 && <1.4), HUnit (>=1.2 && <1.3), language-boogie (>=0.2 && <0.3), lens (>=3.7 && <3.8), mtl (>=2.1 && <2.2), parsec (>=3.1 && <3.2), pretty (>=1.1 && <1.2), random (>=1.0 && <1.1), stream-monad (>=0.4 && <0.5), time (>=1.4 && <1.5), transformers (>=0.3 && <0.4) [details] |
Tested with | ghc ==7.4.1 |
License | BSD-3-Clause |
Author | Nadia Polikarpova |
Maintainer | nadia.polikarpova@gmail.com |
Category | Language |
Home page | https://bitbucket.org/nadiapolikarpova/boogaloo |
Source repo | head: hg clone https://bitbucket.org/nadiapolikarpova/boogaloo |
Uploaded | by NadiaPolikarpova at 2013-02-05T16:04:40Z |
Distributions | |
Reverse Dependencies | 1 direct, 0 indirect [details] |
Executables | boogaloo-tests, boogaloo |
Downloads | 2471 total (8 in the last 30 days) |
Rating | (no votes yet) [estimated by Bayesian average] |
Your Rating | |
Status | Docs uploaded by user Build status unknown [no reports yet] |