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
Change logNone available
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.*) [details]
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
UploadedTue Oct 30 16:56:21 UTC 2012 by NadiaPolikarpova
Downloads453 total (24 in last 30 days)
Votes
0 []
StatusDocs not available [build log]
All reported builds failed as of 2015-06-02 [all 1 reports]

Modules

Flags

NameDescriptionDefaultType
boogalooBuild the boogaloo executableEnabledAutomatic
testsBuild boogaloo-tests executableDisabledAutomatic

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