/
tct-common.cabal
56 lines (52 loc) · 1.47 KB
/
tct-common.cabal
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
name: tct-common
version: 3.3.0
stability: experimental
author:
Martin Avanzini, Andreas Kochesser, Georg Moser, Michael Schaper, Maria Schett
maintainer:
Martin Avanzini <martin.avanzini@uibk.ac.at>,
Michael Schaper <michael.schaper@student.uibk.ac.at>,
license: BSD3
license-file: LICENSE
category: Program Analysis
synopsis: A Complexity Analysis Framework
description:
The Tyrolean Complexity Tool (TcT for short) is a tool for proving
resource bounds for different formal systems. This package provides
some common functionalities.
build-type: Simple
cabal-version: >= 1.8
source-repository head
type: git
location: git://github.com/ComputationWithBoundedResources/tct-common
library
hs-source-dirs:
src
exposed-modules:
Tct.Common.CeTA
Tct.Common.Graph
Tct.Common.Polynomial
Tct.Common.PolynomialInterpretation
Tct.Common.ProofCombinators
Tct.Common.Ring
Tct.Common.SMT
build-depends:
base == 4.*,
bytestring >= 0.10,
containers >= 0.5,
fgl >= 5.5,
fgl-visualize >= 0.1,
mtl >= 2.1,
parsec >= 3.1,
temporary >= 1.2,
slogic >= 0.0,
tct-core >= 3.2
ghc-options:
-Wall -fno-warn-orphans -fno-spec-constr-count -rtsopts -with-rtsopts=-N
extensions:
ConstraintKinds,
DataKinds,
DeriveDataTypeable,
FlexibleInstances,
GeneralizedNewtypeDeriving,
MultiParamTypeClasses