g2-0.1.0.0: g2.cabal
-- Initial G2.cabal generated by cabal init. For further documentation,
-- see http://haskell.org/cabal/users-guide/
name: g2
version: 0.1.0.0
synopsis: Haskell symbolic execution engine.
description: A Haskell symbolic execution engine.
For details, please see: <https://github.com/BillHallahan/G2>
License: BSD3
License-file: LICENSE
author: William Hallahan, Anton Xue
maintainer: william.hallahan@yale.edu
-- copyright:
category: Formal Methods, Symbolic Computation
build-type: Simple
extra-source-files: README.md
cabal-version: 1.24
source-repository head
type: git
location: https://github.com/BillHallahan/G2.git
library
exposed-modules:
G2.Config
, G2.Execution
, G2.Execution.Interface
, G2.Execution.Memory
, G2.Execution.NormalForms
, G2.Execution.PrimitiveEval
, G2.Execution.Reducer
, G2.Execution.Rules
, G2.Execution.RuleTypes
, G2.Initialization.Interface
, G2.Initialization.DeepSeqWalks
, G2.Initialization.ElimTicks
, G2.Initialization.ElimTypeSynonyms
, G2.Initialization.InitVarLocs
, G2.Initialization.KnownValues
, G2.Initialization.MkCurrExpr
, G2.Initialization.StructuralEq
, G2.Initialization.Types
, G2.Interface
, G2.Language
, G2.Language.AlgDataTy
, G2.Language.ArbValueGen
, G2.Language.AST
, G2.Language.Casts
, G2.Language.CreateFuncs
, G2.Language.Expr
, G2.Language.ExprEnv
, G2.Language.Ids
, G2.Language.KnownValues
, G2.Language.Located
, G2.Language.Monad
, G2.Language.Monad.AST
, G2.Language.Monad.CreateFuncs
, G2.Language.Monad.Expr
, G2.Language.Monad.ExprEnv
, G2.Language.Monad.Naming
, G2.Language.Monad.Primitives
, G2.Language.Monad.Support
, G2.Language.Monad.TypeClasses
, G2.Language.Monad.TypeEnv
, G2.Language.Monad.Typing
, G2.Language.Naming
, G2.Language.PathConds
, G2.Language.Primitives
, G2.Language.Stack
, G2.Language.Support
, G2.Language.Syntax
, G2.Language.TypeClasses
, G2.Language.TypeClasses.Extra
, G2.Language.TypeClasses.TypeClasses
, G2.Language.TypeEnv
, G2.Language.Typing
, G2.Lib.Printers
, G2.Liquid.Interface
, G2.Postprocessing.Interface
, G2.Preprocessing.AdjustTypes
, G2.Preprocessing.Interface
, G2.Preprocessing.NameCleaner
, G2.Solver
, G2.Solver.Interface
, G2.Solver.Solver
, G2.QuasiQuotes.Internals.G2Rep
, G2.QuasiQuotes.FloodConsts
, G2.QuasiQuotes.G2Rep
, G2.QuasiQuotes.Parser
, G2.QuasiQuotes.QuasiQuotes
, G2.QuasiQuotes.Support
, G2.Translation
, G2.Translation.Cabal.Cabal
other-modules: G2.Config.Config
, G2.Config.Interface
, G2.Config.ParseConfig
, G2.Interface.Interface
, G2.Interface.OutputTypes
, G2.Liquid.AddCFBranch
, G2.Liquid.AddLHTC
, G2.Liquid.AddOrdToNum
, G2.Liquid.Annotations
, G2.Liquid.Conversion
, G2.Liquid.ConvertCurrExpr
, G2.Liquid.LHReducers
, G2.Liquid.Measures
, G2.Liquid.Simplify
, G2.Liquid.SpecialAsserts
, G2.Liquid.TCGen
, G2.Liquid.TCValues
, G2.Liquid.Types
, G2.Postprocessing.NameSwitcher
, G2.Solver.ADTSolver
, G2.Solver.Converters
, G2.Solver.Language
, G2.Solver.ParseSMT
, G2.Solver.SMT2
, G2.Translation.Haskell
, G2.Translation.HaskellCheck
, G2.Translation.InjectSpecials
, G2.Translation.Interface
, G2.Translation.PrimInject
, G2.Translation.TransTypes
build-depends: array >= 0.5.1.1 && <= 0.5.3.0
, Cabal >= 2.0.1.0 && <= 2.0.1.1
, base >= 4.8 && < 5
, bytestring >= 0.10.8.0 && <= 0.10.8.2
, concurrent-extra >= 0.7
, containers >= 0.5 && < 0.6
, directory >= 1.3.0.2 && <= 1.3.3.2
, extra >= 1.6.14 && <= 1.6.17
, filepath == 1.4.1.2
, ghc-paths >= 0.1 && < 0.2
, ghc == 8.2.2
, hashable >= 1.2.6.0 && <= 1.3.0.0
, hpc >= 0.6.0.0 && < 0.6.1
, HTTP >= 4000.3.0 && < 4001.0
, liquidhaskell == 0.8.2.2
, liquid-fixpoint >= 0.7.0.7
, MissingH >= 1.4.0.0 && < 1.5
, mtl >= 2.2 && < 2.3
, reducers >= 3.12 && < 3.13
, regex-compat >= 0.95 && < 0.96
, regex-base >= 0.93 && < 0.94
, parsec >= 3.1 && < 3.2
, process >=1 && < 1.7
, split >= 0.2.3 && < 0.2.4
, template-haskell == 2.12.0.0
, temporary-rc >= 1.2 && < 1.3
, text == 1.2.3.1
, time >= 1.6 && <= 1.9.3
, unordered-containers >= 0.2 && < 0.3
default-language: Haskell2010
ghc-options: -Wall
-- -ddump-splices
-- -fprof-auto
-- -fexternal-interpreter -opti+RTS -opti-p
hs-source-dirs: src
executable G2
-- other-modules:
-- other-extensions:
build-depends: g2
, base >= 4.8 && < 5
, containers >= 0.5 && < 0.6
, filepath == 1.4.1.2
, ghc == 8.2.2
, hpc >= 0.6.0.0 && < 0.6.1
, text == 1.2.3.1
, unordered-containers >= 0.2 && < 0.3
default-language: Haskell2010
ghc-options: -threaded -Wall
-- -fprof-auto "-with-rtsopts=-p"
hs-source-dirs: exe
main-is: Main.hs
executable QuasiQuote
-- other-modules:
-- other-extensions:
build-depends: g2
, base >= 4.8 && < 5
, time >= 1.6 && <= 1.9.3
default-language: Haskell2010
ghc-options: -Wall
-- -ddump-splices
-- -fprof-auto "-with-rtsopts=-p"
hs-source-dirs: quasiquote
main-is: Main.hs
test-suite test
build-depends: g2
, base >= 4.8 && < 5
, containers >= 0.5 && < 0.6
, filepath
, ghc-paths >= 0.1 && < 0.2
, ghc
, hashable
, hpc
, tagged
, tasty >= 1.0
, tasty-hunit >= 0.10
, text
, time >= 1.6
, unordered-containers
default-language: Haskell2010
hs-source-dirs: tests
main-is: Test.hs
ghc-options: -Wall
-- -fprof-auto "-with-rtsopts=-p"
-threaded
type: exitcode-stdio-1.0