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
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
|
TESTS = \
CUIbug12-22-09 \
unificationMar2013 \
parserJune2018 \
staleViewJune2018 \
showModuleJune2018 \
clearRulesJune2018 \
metaIntRewriteJune2018 \
metaModuleCacheJune2018 \
metaIntImportJune2018 \
metaIntAscentJune2018 \
objectMessageOct2018 \
metaIntMatchOct2018 \
physArgIndexOct2018 \
metaApplyNov2018 \
moduleSumMay2019 \
parameterTheoryMay2019 \
parameterTheoryCopyMay2019 \
polymorphicOverloadMay2019 \
viewRecursionMay2019 \
instantiationJuly2019 \
ascentFunctionsJanuary2020 \
closeSocketFeb2020 \
metaParseStrategyApril2020 \
complexParserSyncApril2020 \
identityUnificationMay2020 \
sortCollapseMay2020 \
ACU_MissingUnifiersMay2020 \
variantUnifyJune2020 \
identityUnificationSeptember2020 \
CUI_OccursCheckSeptember2020 \
attributeBugsNovember2020 \
polymorphicParsingBugsNovember2020 \
irredUnifyFeb2021 \
deleteTimerMarch2021 \
uninitIterExtSeptember2021 \
loopModeStateAugust2021 \
instantiatedViewInternalNameOctober2022 \
degenerateFilteredVariantUnifyDecember2022 \
kindNameDecember2022 \
upTheoryJanuary2023 \
spuriousAdvisoryRenamingCaptureJanuary2023 \
smodStrategyNameJanuary2023 \
moduleViewBadWarningFebruary2023 \
theoryViewWrongWarningFebruary2023 \
doubleAttributeFebruary2023 \
showDesugaredFebruary2023 \
endothFebruary2023 \
specificOpMappingPrintFebruary2023 \
theoryViewOpToTermFebruary2023 \
metaAutoOoIncludeFebruary2023 \
generatedByFebruary2023 \
orphanedViewInstantiationFebruary2023 \
moduleOrphanedByViewFebruary2023 \
parameterizedConstantsMarch2023 \
opRenamingParseErrorMarch2023 \
metaNarrowingApplyMarch2023 \
quotedTokenMarch2023 \
renamingInstantiationMarch2023 \
arityRenamingMarch2023 \
parameterizedPolymorphicConstantMarch2023 \
pseudoParametersMarch2023 \
pseudoParameterTheoryConstantMarch2023 \
redBlackNonLinearApril2023 \
redBlackTooFewSubjectsApril2023 \
redBlackNGA_April2023 \
stripperCollectorSwitchMay2023 \
filteredVariantUnifyJune2023 \
conditionSideEffectInStrategyLanguageDecember2023 \
stringToRatConversionMarch2024 \
viewInstantiationAwkwardCaseApril2025 \
viewInstantiationByModuleViewApril2025 \
viewInstantiationByTheoryViewApril2025 \
stratToExprNotValidMay2025 \
invalidStrategyDefinitionJune2025 \
viewInstantiationAwkwardCaseStrategyMay2025 \
viewInstantiationByModuleViewStrategyMay2025 \
viewInstantiationByTheoryViewStrategyMay2025 \
fragmentBufferJune2025 \
viewNameApril2025
MAUDE_FILES = \
CUIbug12-22-09.maude \
unificationMar2013.maude \
parserJune2018.maude \
staleViewJune2018.maude \
showModuleJune2018.maude \
clearRulesJune2018.maude \
metaIntRewriteJune2018.maude \
metaModuleCacheJune2018.maude \
metaIntImportJune2018.maude \
metaIntAscentJune2018.maude \
objectMessageOct2018.maude \
metaIntMatchOct2018.maude \
physArgIndexOct2018.maude \
metaApplyNov2018.maude \
moduleSumMay2019.maude \
parameterTheoryMay2019.maude \
parameterTheoryCopyMay2019.maude \
polymorphicOverloadMay2019.maude \
viewRecursionMay2019.maude \
instantiationJuly2019.maude \
ascentFunctionsJanuary2020.maude \
closeSocketFeb2020.maude \
metaParseStrategyApril2020.maude \
complexParserSyncApril2020.maude \
identityUnificationMay2020.maude \
sortCollapseMay2020.maude \
ACU_MissingUnifiersMay2020.maude \
variantUnifyJune2020.maude \
identityUnificationSeptember2020.maude \
CUI_OccursCheckSeptember2020.maude \
attributeBugsNovember2020.maude \
polymorphicParsingBugsNovember2020.maude \
irredUnifyFeb2021.maude \
deleteTimerMarch2021.maude \
uninitIterExtSeptember2021.maude \
loopModeStateAugust2021.maude \
instantiatedViewInternalNameOctober2022.maude \
degenerateFilteredVariantUnifyDecember2022.maude \
kindNameDecember2022.maude \
upTheoryJanuary2023.maude \
spuriousAdvisoryRenamingCaptureJanuary2023.maude \
smodStrategyNameJanuary2023.maude \
moduleViewBadWarningFebruary2023.maude \
theoryViewWrongWarningFebruary2023.maude \
doubleAttributeFebruary2023.maude \
showDesugaredFebruary2023.maude \
endothFebruary2023.maude \
specificOpMappingPrintFebruary2023.maude \
theoryViewOpToTermFebruary2023.maude \
metaAutoOoIncludeFebruary2023.maude \
generatedByFebruary2023.maude \
orphanedViewInstantiationFebruary2023.maude \
moduleOrphanedByViewFebruary2023.maude \
parameterizedConstantsMarch2023.maude \
opRenamingParseErrorMarch2023.maude \
metaNarrowingApplyMarch2023.maude \
quotedTokenMarch2023.maude \
renamingInstantiationMarch2023.maude \
arityRenamingMarch2023.maude \
parameterizedPolymorphicConstantMarch2023.maude \
pseudoParametersMarch2023.maude \
pseudoParameterTheoryConstantMarch2023.maude \
redBlackNonLinearApril2023.maude \
redBlackTooFewSubjectsApril2023.maude \
redBlackNGA_April2023.maude \
stripperCollectorSwitchMay2023.maude \
filteredVariantUnifyJune2023.maude \
conditionSideEffectInStrategyLanguageDecember2023.maude \
stringToRatConversionMarch2024.maude \
viewInstantiationAwkwardCaseApril2025.maude \
viewInstantiationByModuleViewApril2025.maude \
viewInstantiationByTheoryViewApril2025.maude \
stratToExprNotValidMay2025.maude \
invalidStrategyDefinitionJune2025.maude \
viewInstantiationAwkwardCaseStrategyMay2025.maude \
viewInstantiationByModuleViewStrategyMay2025.maude \
viewInstantiationByTheoryViewStrategyMay2025.maude \
fragmentBufferJune2025.maude \
viewNameApril2025.maude
RESULT_FILES = \
CUIbug12-22-09.expected \
unificationMar2013.expected \
parserJune2018.expected \
staleViewJune2018.expected \
showModuleJune2018.expected \
clearRulesJune2018.expected \
metaIntRewriteJune2018.expected \
metaModuleCacheJune2018.expected \
metaIntImportJune2018.expected \
metaIntAscentJune2018.expected \
objectMessageOct2018.expected \
metaIntMatchOct2018.expected \
physArgIndexOct2018.expected \
metaApplyNov2018.expected \
moduleSumMay2019.expected \
parameterTheoryMay2019.expected \
parameterTheoryCopyMay2019.expected \
polymorphicOverloadMay2019.expected \
viewRecursionMay2019.expected \
instantiationJuly2019.expected \
ascentFunctionsJanuary2020.expected \
closeSocketFeb2020.expected \
metaParseStrategyApril2020.expected \
complexParserSyncApril2020.expected \
identityUnificationMay2020.expected \
sortCollapseMay2020.expected \
ACU_MissingUnifiersMay2020.expected \
variantUnifyJune2020.expected \
identityUnificationSeptember2020.expected \
CUI_OccursCheckSeptember2020.expected \
attributeBugsNovember2020.expected \
polymorphicParsingBugsNovember2020.expected \
irredUnifyFeb2021.expected \
deleteTimerMarch2021.expected \
uninitIterExtSeptember2021.expected \
loopModeStateAugust2021.expected \
instantiatedViewInternalNameOctober2022.expected \
degenerateFilteredVariantUnifyDecember2022.expected \
kindNameDecember2022.expected \
upTheoryJanuary2023.expected \
spuriousAdvisoryRenamingCaptureJanuary2023.expected \
smodStrategyNameJanuary2023.expected \
moduleViewBadWarningFebruary2023.expected \
theoryViewWrongWarningFebruary2023.expected \
doubleAttributeFebruary2023.expected \
showDesugaredFebruary2023.expected \
endothFebruary2023.expected \
specificOpMappingPrintFebruary2023.expected \
theoryViewOpToTermFebruary2023.expected \
metaAutoOoIncludeFebruary2023.expected \
generatedByFebruary2023.expected \
orphanedViewInstantiationFebruary2023.expected \
moduleOrphanedByViewFebruary2023.expected \
parameterizedConstantsMarch2023.expected \
opRenamingParseErrorMarch2023.expected \
metaNarrowingApplyMarch2023.expected \
quotedTokenMarch2023.expected \
renamingInstantiationMarch2023.expected \
arityRenamingMarch2023.expected \
parameterizedPolymorphicConstantMarch2023.expected \
pseudoParametersMarch2023.expected \
pseudoParameterTheoryConstantMarch2023.expected \
redBlackNonLinearApril2023.expected \
redBlackTooFewSubjectsApril2023.expected \
redBlackNGA_April2023.expected \
stripperCollectorSwitchMay2023.expected \
filteredVariantUnifyJune2023.expected \
conditionSideEffectInStrategyLanguageDecember2023.expected \
stringToRatConversionMarch2024.expected \
viewInstantiationAwkwardCaseApril2025.expected \
viewInstantiationByModuleViewApril2025.expected \
viewInstantiationByTheoryViewApril2025.expected \
stratToExprNotValidMay2025.expected \
invalidStrategyDefinitionJune2025.expected \
viewInstantiationAwkwardCaseStrategyMay2025.expected \
viewInstantiationByModuleViewStrategyMay2025.expected \
viewInstantiationByTheoryViewStrategyMay2025.expected \
fragmentBufferJune2025.expected \
viewNameApril2025.expected
EXTRA_DIST = $(TESTS) $(MAUDE_FILES) $(RESULT_FILES)
|
