language-boogie: Interpreter and language infrastructure for Boogie.

[ bsd3, language, library ] [ Propose Tags ] [ Report a vulnerability ]

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

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

Package maintainers

NadiaPolikarpova

For package maintainers and hackage trustees

edit package information

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]