@hackage language-boogie0.2

Interpreter and language infrastructure for Boogie.

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.

  • Installation

  • Dependencies (0)

  • Dependents (0)

    • Package Flags

      boogaloo
       (on by default)

      Build the boogaloo executable

      tests
       (off by default)

      Build boogaloo-tests executable