lib:language-boogie
Modules
- Language.Boogie.AST
- Language.Boogie.BasicBlocks
- Language.Boogie.Environment
- Language.Boogie.ErrorAccum
- Language.Boogie.Generator
- Language.Boogie.Heap
- Language.Boogie.Interpreter
- Language.Boogie.Intervals
- Language.Boogie.NormalForm
- Language.Boogie.Parser
- Language.Boogie.Position
- Language.Boogie.PrettyPrinter
- Language.Boogie.Tokens
- Language.Boogie.TypeChecker
- Language.Boogie.Util
Dependencies
- base lib:base >=4 && <5
- containers lib:containers >=0.4 && <0.6
- lens lib:lens >=3.7 && <3.8
- mtl lib:mtl >=2.1 && <2.2
- parsec lib:parsec >=3.1 && <3.2
- pretty lib:pretty >=1.1 && <1.2
- random lib:random (>=1.0 && <1.1) && >=1.0 && <1.1
- stream-monad lib:stream-monad >=0.4 && <0.5
- transformers lib:transformers >=0.3 && <0.4
Reverse dependencies
Direct only. Not exhaustive.
- acme-everything lib:acme-everything
- language-boogie exe:boogaloo
- language-boogie exe:boogaloo-tests