language-boogie: Interpreter and language infrastructure for Boogie.

[ bsd3, language, library ] [ Propose Tags ]

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.

Flags

Automatic Flags
NameDescriptionDefault
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

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]
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 NixOS:0.2
Executables boogaloo-tests, boogaloo
Downloads 2302 total (7 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]