The language-boogie package

[Tags: bsd3, library]

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

Versions0.1, 0.1.1, 0.2
Dependenciesbase (==4.5.*), cmdargs (==0.10.*), containers (==0.4.*), filepath (==1.3.*), HUnit (==1.2.*), language-boogie (==0.1.*), mtl (==2.1.*), parsec (==3.1.*), pretty (==1.1.*), random (==1.0.*), time (==1.4.*), transformers (==0.3.*)
LicenseBSD3
AuthorNadia Polikarpova
Maintainernadia.polikarpova@gmail.com
CategoryLanguage
Home pagehttps://bitbucket.org/nadiapolikarpova/boogaloo
Source repositoryhead: hg clone https://bitbucket.org/nadiapolikarpova/boogaloo
Executablesboogaloo-tests, boogaloo
Upload dateTue Oct 30 16:56:21 UTC 2012
Uploaded byNadiaPolikarpova
Downloads197 total (14 in last 30 days)

Modules

Flags

NameDescriptionDefault
boogalooBuild the boogaloo executableEnabled
testsBuild boogaloo-tests executableDisabled

Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info

Downloads

Maintainers' corner

For package maintainers and hackage trustees