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
Dependenciesansi-terminal (==0.5.*), base (==4.*), cmdargs (==0.10.*), containers (>=0.4 && <0.6), filepath (==1.3.*), HUnit (==1.2.*), language-boogie (==0.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.*)
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 Feb 5 16:04:40 UTC 2013
Uploaded byNadiaPolikarpova
Downloads195 total (13 in last 30 days)

Modules

[Index]

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