@hackage language-boogie0.2

Interpreter and language infrastructure for Boogie.

Categories
- Language
License
BSD-3-Clause
Maintainer
nadia.polikarpova@gmail.com
Links
Versions
- 0.2 Tue, 5 Feb 2013
- 0.1.1 Wed, 31 Oct 2012
- 0.1 Tue, 30 Oct 2012

Installation
In your cabal file:
Dependencies (9)
- base >=4 && <5
- containers >=0.4 && <0.6
- mtl >=2.1 && <2.2
- parsec >=3.1 && <3.2
- random >=1.0 && <1.1
- transformers >=0.3 && <0.4
Dependents (1)
@hackage/acme-everything

Package Flags

boogaloo

(on by default)

Build the boogaloo executable

tests

(off by default)

Build boogaloo-tests executable

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.

@hackage language-boogie0.2

Categories

License

Maintainer

Links

Versions

Installation

Dependencies (9)

Dependents (1)

Package Flags