-
Notifications
You must be signed in to change notification settings - Fork 3
Expand file tree
/
Copy pathhie.yaml
More file actions
119 lines (91 loc) · 4.01 KB
/
hie.yaml
File metadata and controls
119 lines (91 loc) · 4.01 KB
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
---
cradle:
stack:
components:
- path: "src"
stackYaml: "stack.yaml"
component: "modelling-tasks:lib"
- path: "test"
stackYaml: "stack.yaml"
component: "modelling-tasks:test:modelling-tasks-test"
- path: "app/common"
stackYaml: "stack-apps.yaml"
component: "modelling-tasks-apps:exe:check-cds"
- path: "app/check-cds.hs"
stackYaml: "stack-apps.yaml"
component: "modelling-tasks-apps:exe:check-cds"
- path: "app/conflicts.hs"
stackYaml: "stack-apps.yaml"
component: "modelling-tasks-apps:exe:conflicts"
- path: "app/concurrency.hs"
stackYaml: "stack-apps.yaml"
component: "modelling-tasks-apps:exe:concurrency"
- path: "app/different-names.hs"
stackYaml: "stack-apps.yaml"
component: "modelling-tasks-apps:exe:different-names"
- path: "app/enterASTaskDemo.hs"
stackYaml: "stack-apps.yaml"
component: "modelling-tasks-apps:exe:enterASTaskDemo"
- path: "app/evalIsomorphic.hs"
stackYaml: "stack-apps.yaml"
component: "modelling-tasks-apps:exe:evalIsomorphic"
- path: "app/evalTimeToGenerate.hs"
stackYaml: "stack-apps.yaml"
component: "modelling-tasks-apps:exe:evalTimeToGenerate"
- path: "app/findAuxiliaryPetriNodesTaskDemo.hs"
stackYaml: "stack-apps.yaml"
component: "modelling-tasks-apps:exe:findAuxiliaryPetriNodesTaskDemo"
- path: "app/matchAdTaskDemo.hs"
stackYaml: "stack-apps.yaml"
component: "modelling-tasks-apps:exe:matchAdTaskDemo"
- path: "app/matchPetriTaskDemo.hs"
stackYaml: "stack-apps.yaml"
component: "modelling-tasks-apps:exe:matchPetriTaskDemo"
- path: "app/match-cd-od.hs"
stackYaml: "stack-apps.yaml"
component: "modelling-tasks-apps:exe:match-cd-od"
- path: "app/matchToMath.hs"
stackYaml: "stack-apps.yaml"
component: "modelling-tasks-apps:exe:matchToMath"
- path: "app/repair-incorrect.hs"
stackYaml: "stack-apps.yaml"
component: "modelling-tasks-apps:exe:repair-incorrect"
- path: "app/selectASTaskDemo.hs"
stackYaml: "stack-apps.yaml"
component: "modelling-tasks-apps:exe:selectASTaskDemo"
- path: "app/selectPetriTaskDemo.hs"
stackYaml: "stack-apps.yaml"
component: "modelling-tasks-apps:exe:selectPetriTaskDemo"
- path: "app/generate"
stackYaml: "stack-apps.yaml"
component: "modelling-tasks-legacy-apps:exe:different-names-legacy"
- path: "app/parser"
stackYaml: "stack-apps.yaml"
component: "modelling-tasks-legacy-apps:exe:cd2alloy"
- path: "legacy-app/cd2alloy.hs"
stackYaml: "stack-apps.yaml"
component: "modelling-tasks-legacy-apps:exe:cd2alloy"
- path: "legacy-app/cd2pic.hs"
stackYaml: "stack-apps.yaml"
component: "modelling-tasks-legacy-apps:exe:cd2pic"
- path: "legacy-app/generate/Modelling/CdOd/Generate/DifferentNames.hs"
stackYaml: "stack-apps.yaml"
component: "modelling-tasks-legacy-apps:exe:different-names-legacy"
- path: "legacy-app/different-names.hs"
stackYaml: "stack-apps.yaml"
component: "modelling-tasks-legacy-apps:exe:different-names-legacy"
- path: "legacy-app/instance2pic.hs"
stackYaml: "stack-apps.yaml"
component: "modelling-tasks-legacy-apps:exe:instance2pic"
- path: "legacy-app/generate/Modelling/CdOd/Generate/MatchCdOd.hs"
stackYaml: "stack-apps.yaml"
component: "modelling-tasks-legacy-apps:exe:match-cd-od-legacy"
- path: "legacy-app/match-cd-od.hs"
stackYaml: "stack-apps.yaml"
component: "modelling-tasks-legacy-apps:exe:match-cd-od-legacy"
- path: "example/src"
stackYaml: "stack-examples.yaml"
component: "modelling-tasks-examples:lib"
- path: "example/test"
stackYaml: "stack-examples.yaml"
component: "modelling-tasks-examples:test:modelling-tasks-examples-test"