language-boogie
Version 0.2 revision 0 uploaded by NadiaPolikarpova.
Package meta
- Synopsis
- Interpreter and language infrastructure for Boogie.
- Description
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.
- Author
- Nadia Polikarpova
- Bug reports
- n/a
- Category
- Language
- Copyright
- n/a
- Homepage
- https://bitbucket.org/nadiapolikarpova/boogaloo
- Maintainer
- nadia.polikarpova@gmail.com
- Package URL
- n/a
- Stability
- n/a