@hackage language-boogie0.2
Interpreter and language infrastructure for Boogie.
Categories
License
BSD-3-Clause
Maintainer
nadia.polikarpova@gmail.com
Links
Versions
Installation
Dependencies (9)
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.