The language-boogie package

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.