@hackage / language-boogie

Interpreter and language infrastructure for Boogie.

Latest0.2

About

Metadata

  • Last updated , by NadiaPolikarpova
  • License BSD-3-Clause

  • Maintained by: nadia.polikarpova@gmail.com

  • Lottery factor: 0

Links

Installation

Package Flags

Use the -f option with cabal commands to enable flags

    boogaloo (on by default)

    Build the boogaloo executable

    tests (off by default)

    Build boogaloo-tests executable

Readme

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.