Cabal revisions of tip-lib-0.1
Hackage metadata revisions edit the .cabal file after upload; each diff below is one revision.
revision 1
-name: tip-lib-version: 0.1-synopsis: tons of inductive problems - support library and tools-description: This package provides a tool for processing inductive theorem proving problems in TIP format (see the homepage for details).-homepage: http://tip-org.github.io-bug-reports: http://github.com/tip-org/tools/issues-license: BSD3-license-file: LICENSE-author: Dan Rosén, Nick Smallbone-maintainer: danr@chalmers.se-category: Theorem Provers-build-type: Simple-cabal-version: >=1.10--source-repository head- type: git- location: http://github.com/tip-org/tools--library- exposed-modules:- Tip.Core- Tip.Lint- Tip.Types- Tip.Scope- Tip.Fresh- Tip.WorkerWrapper- Tip.Simplify- Tip.Passes- Tip.Pretty- Tip.Pretty.SMT- Tip.Pretty.Why3- Tip.Pretty.Isabelle- Tip.Pretty.Haskell-- Tip.Parser-- Tip.Utils- Tip.Writer-- Tip.Rename- Tip.Utils.Rename- Tip.Haskell.Repr- Tip.Haskell.Translate- Tip.Haskell.Rename- Tip.CallGraph- other-modules:- Tip.Pass.AxiomatizeFuncdefs- Tip.Pass.Lift- Tip.Pass.Booleans- Tip.Pass.CommuteMatch- Tip.Pass.AddMatch- Tip.Pass.CSEMatch- Tip.Pass.RemoveNewtype- Tip.Pass.RemoveMatch- Tip.Pass.NegateConjecture- Tip.Pass.EqualFunctions- Tip.Pass.Uncurry- Tip.Pass.Pipeline- Tip.Pass.EliminateDeadCode- Tip.Pass.FillInCases-- Tip.Parser.ErrM- Tip.Parser.AbsTIP- Tip.Parser.LexTIP- Tip.Parser.ParTIP- Tip.Parser.Convert-- hs-source-dirs: src- include-dirs: src- ghc-options: -w- default-language: Haskell2010- build-depends: base >=4 && <5,- geniplate-mirror >=0.7.1,- split,- containers,- mtl,- pretty,- array,- optparse-applicative--executable tip- main-is: executable/Main.hs- default-language: Haskell2010- build-depends: base,- tip-lib,- pretty-show,- pretty,- optparse-applicative+name: tip-lib +version: 0.1 +x-revision: 1 +synopsis: tons of inductive problems - support library and tools +description: This package provides a tool for processing inductive theorem proving problems in TIP format (see the homepage for details). +homepage: http://tip-org.github.io +bug-reports: http://github.com/tip-org/tools/issues +license: BSD3 +license-file: LICENSE +author: Dan Rosén, Nick Smallbone +maintainer: danr@chalmers.se +category: Theorem Provers +build-type: Simple +cabal-version: >=1.10 + +source-repository head + type: git + location: http://github.com/tip-org/tools + +library + exposed-modules: + Tip.Core + Tip.Lint + Tip.Types + Tip.Scope + Tip.Fresh + Tip.WorkerWrapper + Tip.Simplify + Tip.Passes + Tip.Pretty + Tip.Pretty.SMT + Tip.Pretty.Why3 + Tip.Pretty.Isabelle + Tip.Pretty.Haskell + + Tip.Parser + + Tip.Utils + Tip.Writer + + Tip.Rename + Tip.Utils.Rename + Tip.Haskell.Repr + Tip.Haskell.Translate + Tip.Haskell.Rename + Tip.CallGraph + other-modules: + Tip.Pass.AxiomatizeFuncdefs + Tip.Pass.Lift + Tip.Pass.Booleans + Tip.Pass.CommuteMatch + Tip.Pass.AddMatch + Tip.Pass.CSEMatch + Tip.Pass.RemoveNewtype + Tip.Pass.RemoveMatch + Tip.Pass.NegateConjecture + Tip.Pass.EqualFunctions + Tip.Pass.Uncurry + Tip.Pass.Pipeline + Tip.Pass.EliminateDeadCode + Tip.Pass.FillInCases + + Tip.Parser.ErrM + Tip.Parser.AbsTIP + Tip.Parser.LexTIP + Tip.Parser.ParTIP + Tip.Parser.Convert + + hs-source-dirs: src + include-dirs: src + ghc-options: -w + default-language: Haskell2010 + build-depends: base < 0, + geniplate-mirror >=0.7.1, + split, + containers, + mtl, + pretty, + array, + optparse-applicative + +executable tip + main-is: executable/Main.hs + default-language: Haskell2010 + build-depends: base, + tip-lib, + pretty-show, + pretty, + optparse-applicative