language-boogie: Interpreter and language infrastructure for Boogie.

[ bsd3, language, library ] [ Propose Tags ] [ Report a vulnerability ]

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.

Modules

[Last Documentation]

Language
- Boogie
  - Language.Boogie.AST
  - Language.Boogie.BasicBlocks
  - Language.Boogie.DataFlow
  - Language.Boogie.Interpreter
  - Language.Boogie.Intervals
  - Language.Boogie.NormalForm
  - Language.Boogie.Parser
  - Language.Boogie.Position
  - Language.Boogie.PrettyPrinter
  - Language.Boogie.Tester
  - Language.Boogie.Tokens
  - Language.Boogie.TypeChecker
  - Language.Boogie.Util

Flags

Automatic Flags

Name	Description	Default
boogaloo	Build the boogaloo executable	Enabled
tests	Build boogaloo-tests executable	Disabled

Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info

Downloads

language-boogie-0.1.tar.gz [browse] (Cabal source package)
Package description (as included in the package)

Maintainer's Corner

Package maintainers

NadiaPolikarpova

For package maintainers and hackage trustees

edit package information

Candidates

No Candidates

Versions [RSS]	0.1, 0.1.1, 0.2
Dependencies	base (>=4.5 && <4.6), cmdargs (>=0.10 && <0.11), containers (>=0.4 && <0.5), filepath (>=1.3 && <1.4), HUnit (>=1.2 && <1.3), language-boogie (>=0.1 && <0.2), mtl (>=2.1 && <2.2), parsec (>=3.1 && <3.2), pretty (>=1.1 && <1.2), random (>=1.0 && <1.1), time (>=1.4 && <1.5), transformers (>=0.3 && <0.4) [details]
License	BSD-3-Clause
Author	Nadia Polikarpova
Maintainer	nadia.polikarpova@gmail.com
Category	Language
Home page	https://bitbucket.org/nadiapolikarpova/boogaloo
Source repo	head: hg clone https://bitbucket.org/nadiapolikarpova/boogaloo
Uploaded	by NadiaPolikarpova at 2012-10-30T16:56:21Z
Distributions
Reverse Dependencies	1 direct, 0 indirect [details]
Executables	boogaloo-tests, boogaloo
Downloads	2495 total (1 in the last 30 days)
Rating	(no votes yet) [estimated by Bayesian average]
Your Rating	λ λ λ
Status	Docs not available [build log] All reported builds failed as of 2016-12-23 [all 6 reports]