Cabal revisions of rest-rewrite-0.4.5
Hackage metadata revisions edit the .cabal file after upload; each diff below is one revision.
revision 1
-name: rest-rewrite-build-type: Simple-version: 0.4.5-cabal-version: 2.0-category: Rewriting-maintainer: Zack Grannan <zgrannan@cs.ubc.ca>-author: Zack Grannan <zgrannan@cs.ubc.ca>-license: BSD3-description: REST is a Rewriting library with online termination checking. For more details see the paper at https://arxiv.org/abs/2202.05872.-synopsis: Rewriting library with online termination checking-license-file: LICENSE--extra-source-files:- graphs/.DONOTDELETE--source-repository head- type: git- location: https://github.com/zgrannan/rest--library- default-language: Haskell2010- exposed-modules:- Language.REST- Language.REST.Core- Language.REST.Dot- Language.REST.ExploredTerms- Language.REST.Internal.EquivalenceClass- Language.REST.Internal.ListT- Language.REST.Internal.MultiSet- Language.REST.Internal.MultisetOrder- Language.REST.Internal.OpOrdering- Language.REST.Internal.Orphans- Language.REST.Internal.PartialOrder- Language.REST.Internal.Rewrite- Language.REST.Internal.Util- Language.REST.Internal.WorkStrategy- Language.REST.Internal.WQO- Language.REST.KBO- Language.REST.LPO- Language.REST.MetaTerm- Language.REST.OCAlgebra- Language.REST.OCToAbstract- Language.REST.Op- Language.REST.Path- Language.REST.RESTDot- Language.REST.RPO- Language.REST.Rest- Language.REST.RewriteRule- Language.REST.RuntimeTerm- Language.REST.SMT- Language.REST.Types- Language.REST.WQOConstraints- Language.REST.WQOConstraints.ADT- Language.REST.WQOConstraints.Lazy- Language.REST.WQOConstraints.Strict- hs-source-dirs: src- build-depends: base >= 4.7 && < 5- , containers >= 0.6.2 && < 0.8- , hashable >= 1.3.0 && < 1.6- , process >= 1.6.9 && < 1.7- , parsec >= 3.1.14 && < 3.2- , mtl >= 2.2.2 && < 2.4- , unordered-containers >= 0.2.13 && < 0.3- , text >= 1.2.4 && < 2.2--library testlib- default-language: Haskell2010- build-depends: base >= 4.7- , containers- , hashable- , process- , QuickCheck- , rest-rewrite- , parsec- , mtl- , monad-loops >= 0.4.3 && < 0.5- , unordered-containers >= 0.2.11- , text- , time >= 1.9.3 && < 1.15- exposed-modules:- Arith- DSL- Language.REST.ConcreteOC- Language.REST.ProofGen- MultisetOrdering- Nat- Set-- hs-source-dirs: testlib--Test-Suite test-rest- default-language: Haskell2010- type: exitcode-stdio-1.0- main-is: Test.hs- hs-source-dirs: test- build-depends: base- , hashable- , containers- , QuickCheck >= 2.14.2 && < 2.15- , mtl- , unordered-containers- , text- , rest-rewrite- , testlib- other-modules:- ExploredTerms- KBO- LazyOC- MultisetOrder- OpOrdering- QuickCheckTests- RPO- SMT- StrictOC- WQO--Test-Suite rest- default-language: Haskell2010- type: exitcode-stdio-1.0- main-is: Main.hs- -- ghc-plugins: -fplugin=LiquidHaskell- build-depends: base >= 4.7- , containers- , hashable- , rest-rewrite- , mtl- , unordered-containers >= 0.2.11- , testlib- , text- , time- -- , liquidhaskell- -- , liquid-base- other-modules:- BagExample- Compiler- Group- Lists- Multiset- NonTerm- WQODot-- hs-source-dirs: test+name: rest-rewrite +build-type: Simple +version: 0.4.5 +x-revision: 1 +cabal-version: 2.0 +category: Rewriting +maintainer: Zack Grannan <zgrannan@cs.ubc.ca> +author: Zack Grannan <zgrannan@cs.ubc.ca> +license: BSD3 +description: REST is a Rewriting library with online termination checking. For more details see the paper at https://arxiv.org/abs/2202.05872. +synopsis: Rewriting library with online termination checking +license-file: LICENSE + +extra-source-files: + graphs/.DONOTDELETE + +source-repository head + type: git + location: https://github.com/zgrannan/rest + +library + default-language: Haskell2010 + exposed-modules: + Language.REST + Language.REST.Core + Language.REST.Dot + Language.REST.ExploredTerms + Language.REST.Internal.EquivalenceClass + Language.REST.Internal.ListT + Language.REST.Internal.MultiSet + Language.REST.Internal.MultisetOrder + Language.REST.Internal.OpOrdering + Language.REST.Internal.Orphans + Language.REST.Internal.PartialOrder + Language.REST.Internal.Rewrite + Language.REST.Internal.Util + Language.REST.Internal.WorkStrategy + Language.REST.Internal.WQO + Language.REST.KBO + Language.REST.LPO + Language.REST.MetaTerm + Language.REST.OCAlgebra + Language.REST.OCToAbstract + Language.REST.Op + Language.REST.Path + Language.REST.RESTDot + Language.REST.RPO + Language.REST.Rest + Language.REST.RewriteRule + Language.REST.RuntimeTerm + Language.REST.SMT + Language.REST.Types + Language.REST.WQOConstraints + Language.REST.WQOConstraints.ADT + Language.REST.WQOConstraints.Lazy + Language.REST.WQOConstraints.Strict + hs-source-dirs: src + build-depends: base >= 4.7 && < 5 + , containers >= 0.6.2 && < 0.9 + , hashable >= 1.3.0 && < 1.6 + , process >= 1.6.9 && < 1.7 + , parsec >= 3.1.14 && < 3.2 + , mtl >= 2.2.2 && < 2.4 + , unordered-containers >= 0.2.13 && < 0.3 + , text >= 1.2.4 && < 2.2 + +library testlib + default-language: Haskell2010 + build-depends: base >= 4.7 + , containers + , hashable + , process + , QuickCheck + , rest-rewrite + , parsec + , mtl + , monad-loops >= 0.4.3 && < 0.5 + , unordered-containers >= 0.2.11 + , text + , time >= 1.9.3 && < 1.16 + exposed-modules: + Arith + DSL + Language.REST.ConcreteOC + Language.REST.ProofGen + MultisetOrdering + Nat + Set + + hs-source-dirs: testlib + +Test-Suite test-rest + default-language: Haskell2010 + type: exitcode-stdio-1.0 + main-is: Test.hs + hs-source-dirs: test + build-depends: base + , hashable + , containers + , QuickCheck >= 2.14.2 && < 2.17 + , mtl + , unordered-containers + , text + , rest-rewrite + , testlib + other-modules: + ExploredTerms + KBO + LazyOC + MultisetOrder + OpOrdering + QuickCheckTests + RPO + SMT + StrictOC + WQO + +Test-Suite rest + default-language: Haskell2010 + type: exitcode-stdio-1.0 + main-is: Main.hs + -- ghc-plugins: -fplugin=LiquidHaskell + build-depends: base >= 4.7 + , containers + , hashable + , rest-rewrite + , mtl + , unordered-containers >= 0.2.11 + , testlib + , text + , time + -- , liquidhaskell + -- , liquid-base + other-modules: + BagExample + Compiler + Group + Lists + Multiset + NonTerm + WQODot + + hs-source-dirs: test