forked from reactive-systems/syfco
-
Notifications
You must be signed in to change notification settings - Fork 0
/
syfco.cabal
122 lines (107 loc) · 2.46 KB
/
syfco.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
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
name: syfco
version: 1.2.1.2
synopsis: Synthesis Format Conversion Tool / Library
description: Library and tool for reading, manipulating and transforming synthesis specifications.
license: OtherLicense
license-file: LICENSE
author: Felix Klein <[email protected]>
maintainer: Felix Klein <[email protected]>
stability: stable
category: SyntComp
build-type: Simple
extra-source-files: README.md
cabal-version: >=1.10
source-repository head
type: git
location: https://gitlab.projectjarvis.de/tools/syfco
library
ghc-options:
-Wall -Wno-name-shadowing
build-depends:
base >=4.7 && <4.13
, array >=0.5 && <0.6
, containers >=0.5 && <0.7
, mtl >=2.2 && <2.3
, parsec >=3.1 && <3.2
, transformers >= 0.4 && <0.6
, convertible >= 1.1
exposed-modules:
Syfco
other-modules:
Utils
Config
Simplify
Reader
Reader.Data
Reader.Error
Reader.Sugar
Reader.InferType
Reader.Abstraction
Reader.Bindings
Reader.Parser
Reader.Parser.Info
Reader.Parser.Utils
Reader.Parser.Expression
Reader.Parser.Global
Reader.Parser.Component
Reader.Parser.Data
Writer
Writer.Error
Writer.Utils
Writer.Data
Writer.Eval
Writer.Formats
Writer.Formats.Lily
Writer.Formats.Wring
Writer.Formats.Utf8
Writer.Formats.Psl
Writer.Formats.Smv
Writer.Formats.SmvDecomp
Writer.Formats.SlugsIn
Writer.Formats.Ltlxba
Writer.Formats.LtlxbaDecomp
Writer.Formats.Ltl
Writer.Formats.Full
Writer.Formats.Unbeast
Writer.Formats.Acacia
Writer.Formats.Promela
Writer.Formats.Bosy
Writer.Formats.Basic
Writer.Formats.AcaciaSpecs
Writer.Formats.Slugs
Writer.Formats.Rabinizer
Detection
Detection.GeneralizedReactivity
Data.Info
Data.Error
Data.StringMap
Data.Enum
Data.Types
Data.Expression
Data.Specification
Data.SymbolTable
Data.LTL
Data.Binding
Paths_syfco
hs-source-dirs:
src/lib
default-language:
Haskell2010
executable syfco
ghc-options:
-Wall -Wno-name-shadowing
main-is:
Main.hs
build-depends:
syfco
, base >=4.7 && <4.13
, directory >=1.2 && <1.4
, parsec >=3.1 && <3.2
, convertible >= 1.1
other-modules:
Arguments
Info
hs-source-dirs:
src/syfco
default-language:
Haskell2010