-
Notifications
You must be signed in to change notification settings - Fork 41
/
.gitignore
325 lines (301 loc) · 24.5 KB
/
.gitignore
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
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
**/.metadata/*
**/.settings/*
**/target/*
**/bin/*
**.swp
**/.recommenders/*
**/.gitignore
**/.idea/*
**/__pycache__/
hs_err_pid*
*.md.backup
/releaseScripts/default/DeltaDebugger-linux/*
/releaseScripts/default/DeltaDebugger-win32/*
/releaseScripts/default/UAutomizer-linux/*
/releaseScripts/default/UAutomizer-win32/*
/releaseScripts/default/UGemCutter-linux/*
/releaseScripts/default/UGemCutter-win32/*
/releaseScripts/default/UKojak-linux/*
/releaseScripts/default/UKojak-win32/*
/releaseScripts/default/UReferee-linux/*
/releaseScripts/default/UReferee-win32/*
/releaseScripts/default/UTaipan-linux/*
/releaseScripts/default/UTaipan-win32/*
/releaseScripts/default/UTaipan-win32/
/releaseScripts/default/*.zip
/releaseScripts/default/WebBackend
/releaseScripts/default/WebFrontend
/releaseScripts/2018chccomp/Unihorn/StarExecArchive/*
/releaseScripts/2018chccomp/Unihorn/StarExecArchive
/releaseScripts/2018chccomp/Unihorn/UltimateCommandline.zip
/releaseScripts/2018chccomp/TreeAutomizer/StarExecArchive/*
/releaseScripts/2018chccomp/TreeAutomizer/StarExecArchive
/releaseScripts/2018chccomp/TreeAutomizer/UltimateCommandline.zip
/releaseScripts/benchmark-processing/.idea
/releaseScripts/default/UReqCheck-linux/
/releaseScripts/default/UReqCheck-win32/
/releaseScripts/default/update-smtinterpol-firestation.sh
/trunk/runtime-*/*
/trunk/examples/Requirements/failure-paths/*
/trunk/examples/svcomp
/trunk/examples/svcomp/*
/trunk/examples/ultbench
/trunk/examples/ultbench/*
trunk/examples/concurrent/bpl/PLDI2022/*.bpl
trunk/examples/concurrent/bpl/PLDI2022/*.yml
trunk/examples/concurrent/bpl/VMCAI2021/generated/*.bpl
trunk/examples/concurrent/bpl/VMCAI2021/generated/*.yml
trunk/examples/concurrent/bpl/weaver-benchmarks/generated/**/*.bpl
trunk/examples/concurrent/bpl/weaver-benchmarks/generated/**/*.yml
trunk/examples/concurrent/bpl/weaver-benchmarks/weaver
**/.metadata/*
**/.settings/*
**/target/*
**/bin/*
**.swp
**/.recommenders/*
**/.gitignore
/trunk/source/Servers
/trunk/source/.sonarlint/*
/trunk/source/*.log
/trunk/source/ACSLParser/src/de/uni_freiburg/informatik/ultimate/model/acsl/ast/ACSLResultExpression.java
/trunk/source/ACSLParser/src/de/uni_freiburg/informatik/ultimate/model/acsl/ast/ACSLTransformer.java
/trunk/source/ACSLParser/src/de/uni_freiburg/informatik/ultimate/model/acsl/ast/ACSLType.java
/trunk/source/ACSLParser/src/de/uni_freiburg/informatik/ultimate/model/acsl/ast/ACSLVisitor.java
/trunk/source/ACSLParser/src/de/uni_freiburg/informatik/ultimate/model/acsl/ast/ArrayAccessExpression.java
/trunk/source/ACSLParser/src/de/uni_freiburg/informatik/ultimate/model/acsl/ast/ArrayStoreExpression.java
/trunk/source/ACSLParser/src/de/uni_freiburg/informatik/ultimate/model/acsl/ast/Assertion.java
/trunk/source/ACSLParser/src/de/uni_freiburg/informatik/ultimate/model/acsl/ast/Assigns.java
/trunk/source/ACSLParser/src/de/uni_freiburg/informatik/ultimate/model/acsl/ast/Assumes.java
/trunk/source/ACSLParser/src/de/uni_freiburg/informatik/ultimate/model/acsl/ast/AtLabelExpression.java
/trunk/source/ACSLParser/src/de/uni_freiburg/informatik/ultimate/model/acsl/ast/Axiom.java
/trunk/source/ACSLParser/src/de/uni_freiburg/informatik/ultimate/model/acsl/ast/Axiomatic.java
/trunk/source/ACSLParser/src/de/uni_freiburg/informatik/ultimate/model/acsl/ast/BaseAddrExpression.java
/trunk/source/ACSLParser/src/de/uni_freiburg/informatik/ultimate/model/acsl/ast/Behavior.java
/trunk/source/ACSLParser/src/de/uni_freiburg/informatik/ultimate/model/acsl/ast/BinaryExpression.java
/trunk/source/ACSLParser/src/de/uni_freiburg/informatik/ultimate/model/acsl/ast/BitVectorAccessExpression.java
/trunk/source/ACSLParser/src/de/uni_freiburg/informatik/ultimate/model/acsl/ast/BitvecLiteral.java
/trunk/source/ACSLParser/src/de/uni_freiburg/informatik/ultimate/model/acsl/ast/BlockLengthExpression.java
/trunk/source/ACSLParser/src/de/uni_freiburg/informatik/ultimate/model/acsl/ast/BooleanLiteral.java
/trunk/source/ACSLParser/src/de/uni_freiburg/informatik/ultimate/model/acsl/ast/Case.java
/trunk/source/ACSLParser/src/de/uni_freiburg/informatik/ultimate/model/acsl/ast/CastExpression.java
/trunk/source/ACSLParser/src/de/uni_freiburg/informatik/ultimate/model/acsl/ast/CodeAnnot.java
/trunk/source/ACSLParser/src/de/uni_freiburg/informatik/ultimate/model/acsl/ast/CodeAnnotBehavior.java
/trunk/source/ACSLParser/src/de/uni_freiburg/informatik/ultimate/model/acsl/ast/CodeAnnotStmt.java
/trunk/source/ACSLParser/src/de/uni_freiburg/informatik/ultimate/model/acsl/ast/CodeForBehavior.java
/trunk/source/ACSLParser/src/de/uni_freiburg/informatik/ultimate/model/acsl/ast/CodeInvariant.java
/trunk/source/ACSLParser/src/de/uni_freiburg/informatik/ultimate/model/acsl/ast/CodeStatement.java
/trunk/source/ACSLParser/src/de/uni_freiburg/informatik/ultimate/model/acsl/ast/Completeness.java
/trunk/source/ACSLParser/src/de/uni_freiburg/informatik/ultimate/model/acsl/ast/Contract.java
/trunk/source/ACSLParser/src/de/uni_freiburg/informatik/ultimate/model/acsl/ast/ContractStatement.java
/trunk/source/ACSLParser/src/de/uni_freiburg/informatik/ultimate/model/acsl/ast/Decreases.java
/trunk/source/ACSLParser/src/de/uni_freiburg/informatik/ultimate/model/acsl/ast/Ensures.java
/trunk/source/ACSLParser/src/de/uni_freiburg/informatik/ultimate/model/acsl/ast/Expression.java
/trunk/source/ACSLParser/src/de/uni_freiburg/informatik/ultimate/model/acsl/ast/FieldAccessExpression.java
/trunk/source/ACSLParser/src/de/uni_freiburg/informatik/ultimate/model/acsl/ast/FreeableExpression.java
/trunk/source/ACSLParser/src/de/uni_freiburg/informatik/ultimate/model/acsl/ast/FunctionApplication.java
/trunk/source/ACSLParser/src/de/uni_freiburg/informatik/ultimate/model/acsl/ast/GhostUpdate.java
/trunk/source/ACSLParser/src/de/uni_freiburg/informatik/ultimate/model/acsl/ast/GhostDeclaration.java
/trunk/source/ACSLParser/src/de/uni_freiburg/informatik/ultimate/model/acsl/ast/GlobalGhostDeclaration.java
/trunk/source/ACSLParser/src/de/uni_freiburg/informatik/ultimate/model/acsl/ast/GlobalInvariant.java
/trunk/source/ACSLParser/src/de/uni_freiburg/informatik/ultimate/model/acsl/ast/GlobalLTLInvariant.java
/trunk/source/ACSLParser/src/de/uni_freiburg/informatik/ultimate/model/acsl/ast/IdentifierExpression.java
/trunk/source/ACSLParser/src/de/uni_freiburg/informatik/ultimate/model/acsl/ast/IfThenElseExpression.java
/trunk/source/ACSLParser/src/de/uni_freiburg/informatik/ultimate/model/acsl/ast/Inductive.java
/trunk/source/ACSLParser/src/de/uni_freiburg/informatik/ultimate/model/acsl/ast/IntegerLiteral.java
/trunk/source/ACSLParser/src/de/uni_freiburg/informatik/ultimate/model/acsl/ast/Invariant.java
/trunk/source/ACSLParser/src/de/uni_freiburg/informatik/ultimate/model/acsl/ast/Lemma.java
/trunk/source/ACSLParser/src/de/uni_freiburg/informatik/ultimate/model/acsl/ast/LogicFunction.java
/trunk/source/ACSLParser/src/de/uni_freiburg/informatik/ultimate/model/acsl/ast/LogicStatement.java
/trunk/source/ACSLParser/src/de/uni_freiburg/informatik/ultimate/model/acsl/ast/LoopAnnot.java
/trunk/source/ACSLParser/src/de/uni_freiburg/informatik/ultimate/model/acsl/ast/LoopAssigns.java
/trunk/source/ACSLParser/src/de/uni_freiburg/informatik/ultimate/model/acsl/ast/LoopForBehavior.java
/trunk/source/ACSLParser/src/de/uni_freiburg/informatik/ultimate/model/acsl/ast/LoopInvariant.java
/trunk/source/ACSLParser/src/de/uni_freiburg/informatik/ultimate/model/acsl/ast/LoopStatement.java
/trunk/source/ACSLParser/src/de/uni_freiburg/informatik/ultimate/model/acsl/ast/LoopVariant.java
/trunk/source/ACSLParser/src/de/uni_freiburg/informatik/ultimate/model/acsl/ast/MallocableExpression.java
/trunk/source/ACSLParser/src/de/uni_freiburg/informatik/ultimate/model/acsl/ast/ModelVariable.java
/trunk/source/ACSLParser/src/de/uni_freiburg/informatik/ultimate/model/acsl/ast/NotDefinedExpression.java
/trunk/source/ACSLParser/src/de/uni_freiburg/informatik/ultimate/model/acsl/ast/NullPointer.java
/trunk/source/ACSLParser/src/de/uni_freiburg/informatik/ultimate/model/acsl/ast/OldValueExpression.java
/trunk/source/ACSLParser/src/de/uni_freiburg/informatik/ultimate/model/acsl/ast/Parameter.java
/trunk/source/ACSLParser/src/de/uni_freiburg/informatik/ultimate/model/acsl/ast/PolyIdentifier.java
/trunk/source/ACSLParser/src/de/uni_freiburg/informatik/ultimate/model/acsl/ast/Predicate.java
/trunk/source/ACSLParser/src/de/uni_freiburg/informatik/ultimate/model/acsl/ast/QuantifierExpression.java
/trunk/source/ACSLParser/src/de/uni_freiburg/informatik/ultimate/model/acsl/ast/RealLiteral.java
/trunk/source/ACSLParser/src/de/uni_freiburg/informatik/ultimate/model/acsl/ast/Requires.java
/trunk/source/ACSLParser/src/de/uni_freiburg/informatik/ultimate/model/acsl/ast/ResultExpression.java
/trunk/source/ACSLParser/src/de/uni_freiburg/informatik/ultimate/model/acsl/ast/SizeOfExpression.java
/trunk/source/ACSLParser/src/de/uni_freiburg/informatik/ultimate/model/acsl/ast/StringLiteral.java
/trunk/source/ACSLParser/src/de/uni_freiburg/informatik/ultimate/model/acsl/ast/SyntacticNamingExpression.java
/trunk/source/ACSLParser/src/de/uni_freiburg/informatik/ultimate/model/acsl/ast/Terminates.java
/trunk/source/ACSLParser/src/de/uni_freiburg/informatik/ultimate/model/acsl/ast/TypeInvariant.java
/trunk/source/ACSLParser/src/de/uni_freiburg/informatik/ultimate/model/acsl/ast/UnaryExpression.java
/trunk/source/ACSLParser/src/de/uni_freiburg/informatik/ultimate/model/acsl/ast/ValidExpression.java
/trunk/source/ACSLParser/src/de/uni_freiburg/informatik/ultimate/model/acsl/ast/WildcardExpression.java
/trunk/source/Library-BoogieAST/src/de/uni_freiburg/informatik/ultimate/boogie/ast/GeneratedBoogieAstTransformer.java
/trunk/source/Library-BoogieAST/src/de/uni_freiburg/informatik/ultimate/boogie/ast/GeneratedBoogieAstVisitor.java
/trunk/source/Library-BoogieAST/src/de/uni_freiburg/informatik/ultimate/boogie/ast/AtomicStatement.java
/trunk/source/Library-BoogieAST/src/de/uni_freiburg/informatik/ultimate/boogie/ast/ArrayAccessExpression.java
/trunk/source/Library-BoogieAST/src/de/uni_freiburg/informatik/ultimate/boogie/ast/ArrayLHS.java
/trunk/source/Library-BoogieAST/src/de/uni_freiburg/informatik/ultimate/boogie/ast/ArrayStoreExpression.java
/trunk/source/Library-BoogieAST/src/de/uni_freiburg/informatik/ultimate/boogie/ast/ArrayType.java
/trunk/source/Library-BoogieAST/src/de/uni_freiburg/informatik/ultimate/boogie/ast/AssertStatement.java
/trunk/source/Library-BoogieAST/src/de/uni_freiburg/informatik/ultimate/boogie/ast/AssignmentStatement.java
/trunk/source/Library-BoogieAST/src/de/uni_freiburg/informatik/ultimate/boogie/ast/AssumeStatement.java
/trunk/source/Library-BoogieAST/src/de/uni_freiburg/informatik/ultimate/boogie/ast/ASTType.java
/trunk/source/Library-BoogieAST/src/de/uni_freiburg/informatik/ultimate/boogie/ast/AtomicStatement.java
/trunk/source/Library-BoogieAST/src/de/uni_freiburg/informatik/ultimate/boogie/ast/Attribute.java
/trunk/source/Library-BoogieAST/src/de/uni_freiburg/informatik/ultimate/boogie/ast/Axiom.java
/trunk/source/Library-BoogieAST/src/de/uni_freiburg/informatik/ultimate/boogie/ast/BinaryExpression.java
/trunk/source/Library-BoogieAST/src/de/uni_freiburg/informatik/ultimate/boogie/ast/BitvecLiteral.java
/trunk/source/Library-BoogieAST/src/de/uni_freiburg/informatik/ultimate/boogie/ast/BitVectorAccessExpression.java
/trunk/source/Library-BoogieAST/src/de/uni_freiburg/informatik/ultimate/boogie/ast/Body.java
/trunk/source/Library-BoogieAST/src/de/uni_freiburg/informatik/ultimate/boogie/ast/BooleanLiteral.java
/trunk/source/Library-BoogieAST/src/de/uni_freiburg/informatik/ultimate/boogie/ast/BreakStatement.java
/trunk/source/Library-BoogieAST/src/de/uni_freiburg/informatik/ultimate/boogie/ast/CallStatement.java
/trunk/source/Library-BoogieAST/src/de/uni_freiburg/informatik/ultimate/boogie/ast/ConstDeclaration.java
/trunk/source/Library-BoogieAST/src/de/uni_freiburg/informatik/ultimate/boogie/ast/Declaration.java
/trunk/source/Library-BoogieAST/src/de/uni_freiburg/informatik/ultimate/boogie/ast/EnsuresSpecification.java
/trunk/source/Library-BoogieAST/src/de/uni_freiburg/informatik/ultimate/boogie/ast/Expression.java
/trunk/source/Library-BoogieAST/src/de/uni_freiburg/informatik/ultimate/boogie/ast/FunctionApplication.java
/trunk/source/Library-BoogieAST/src/de/uni_freiburg/informatik/ultimate/boogie/ast/FunctionDeclaration.java
/trunk/source/Library-BoogieAST/src/de/uni_freiburg/informatik/ultimate/boogie/ast/GotoStatement.java
/trunk/source/Library-BoogieAST/src/de/uni_freiburg/informatik/ultimate/boogie/ast/HavocStatement.java
/trunk/source/Library-BoogieAST/src/de/uni_freiburg/informatik/ultimate/boogie/ast/IdentifierExpression.java
/trunk/source/Library-BoogieAST/src/de/uni_freiburg/informatik/ultimate/boogie/ast/IfStatement.java
/trunk/source/Library-BoogieAST/src/de/uni_freiburg/informatik/ultimate/boogie/ast/IfThenElseExpression.java
/trunk/source/Library-BoogieAST/src/de/uni_freiburg/informatik/ultimate/boogie/ast/IntegerLiteral.java
/trunk/source/Library-BoogieAST/src/de/uni_freiburg/informatik/ultimate/boogie/ast/Label.java
/trunk/source/Library-BoogieAST/src/de/uni_freiburg/informatik/ultimate/boogie/ast/LeftHandSide.java
/trunk/source/Library-BoogieAST/src/de/uni_freiburg/informatik/ultimate/boogie/ast/LoopInvariantSpecification.java
/trunk/source/Library-BoogieAST/src/de/uni_freiburg/informatik/ultimate/boogie/ast/ModifiesSpecification.java
/trunk/source/Library-BoogieAST/src/de/uni_freiburg/informatik/ultimate/boogie/ast/NamedAttribute.java
/trunk/source/Library-BoogieAST/src/de/uni_freiburg/informatik/ultimate/boogie/ast/NamedType.java
/trunk/source/Library-BoogieAST/src/de/uni_freiburg/informatik/ultimate/boogie/ast/ParentEdge.java
/trunk/source/Library-BoogieAST/src/de/uni_freiburg/informatik/ultimate/boogie/ast/PrimitiveType.java
/trunk/source/Library-BoogieAST/src/de/uni_freiburg/informatik/ultimate/boogie/ast/Procedure.java
/trunk/source/Library-BoogieAST/src/de/uni_freiburg/informatik/ultimate/boogie/ast/Project.java
/trunk/source/Library-BoogieAST/src/de/uni_freiburg/informatik/ultimate/boogie/ast/QuantifierExpression.java
/trunk/source/Library-BoogieAST/src/de/uni_freiburg/informatik/ultimate/boogie/ast/RealLiteral.java
/trunk/source/Library-BoogieAST/src/de/uni_freiburg/informatik/ultimate/boogie/ast/RequiresSpecification.java
/trunk/source/Library-BoogieAST/src/de/uni_freiburg/informatik/ultimate/boogie/ast/ReturnStatement.java
/trunk/source/Library-BoogieAST/src/de/uni_freiburg/informatik/ultimate/boogie/ast/Specification.java
/trunk/source/Library-BoogieAST/src/de/uni_freiburg/informatik/ultimate/boogie/ast/Statement.java
/trunk/source/Library-BoogieAST/src/de/uni_freiburg/informatik/ultimate/boogie/ast/StringLiteral.java
/trunk/source/Library-BoogieAST/src/de/uni_freiburg/informatik/ultimate/boogie/ast/StructAccessExpression.java
/trunk/source/Library-BoogieAST/src/de/uni_freiburg/informatik/ultimate/boogie/ast/StructConstructor.java
/trunk/source/Library-BoogieAST/src/de/uni_freiburg/informatik/ultimate/boogie/ast/StructDeclaration.java
/trunk/source/Library-BoogieAST/src/de/uni_freiburg/informatik/ultimate/boogie/ast/StructLHS.java
/trunk/source/Library-BoogieAST/src/de/uni_freiburg/informatik/ultimate/boogie/ast/StructType.java
/trunk/source/Library-BoogieAST/src/de/uni_freiburg/informatik/ultimate/boogie/ast/Trigger.java
/trunk/source/Library-BoogieAST/src/de/uni_freiburg/informatik/ultimate/boogie/ast/TypeDeclaration.java
/trunk/source/Library-BoogieAST/src/de/uni_freiburg/informatik/ultimate/boogie/ast/UnaryExpression.java
/trunk/source/Library-BoogieAST/src/de/uni_freiburg/informatik/ultimate/boogie/ast/Unit.java
/trunk/source/Library-BoogieAST/src/de/uni_freiburg/informatik/ultimate/boogie/ast/VariableDeclaration.java
/trunk/source/Library-BoogieAST/src/de/uni_freiburg/informatik/ultimate/boogie/ast/VariableLHS.java
/trunk/source/Library-BoogieAST/src/de/uni_freiburg/informatik/ultimate/boogie/ast/VarList.java
/trunk/source/Library-BoogieAST/src/de/uni_freiburg/informatik/ultimate/boogie/ast/WhileStatement.java
/trunk/source/Library-BoogieAST/src/de/uni_freiburg/informatik/ultimate/boogie/ast/WildcardExpression.java
/trunk/source/Library-BoogieAST/src/de/uni_freiburg/informatik/ultimate/boogie/ast/ForkStatement.java
/trunk/source/Library-BoogieAST/src/de/uni_freiburg/informatik/ultimate/boogie/ast/JoinStatement.java
/trunk/source/SpaceExParser/src/de/uni_freiburg/informatik/ultimate/plugins/spaceex/parser/generated
/trunk/source/Library-UltimateCore/src/de/uni_freiburg/informatik/ultimate/core/lib/toolchain/ObjectFactory.java
/trunk/source/Library-UltimateCore/src/de/uni_freiburg/informatik/ultimate/core/lib/toolchain/PluginType.java
/trunk/source/Library-UltimateCore/src/de/uni_freiburg/informatik/ultimate/core/lib/toolchain/SerializeType.java
/trunk/source/Library-UltimateCore/src/de/uni_freiburg/informatik/ultimate/core/lib/toolchain/SubchainType.java
/trunk/source/Library-UltimateCore/src/de/uni_freiburg/informatik/ultimate/core/lib/toolchain/ToolchainListType.java
/trunk/source/Library-UltimateCore/src/de/uni_freiburg/informatik/ultimate/core/lib/toolchain/DropmodelType.java
/trunk/source/Library-UltimateCore/src/de/uni_freiburg/informatik/ultimate/core/lib/toolchain/ModelIdOnlyType.java
/trunk/source/Library-UltimateCore/src/de/uni_freiburg/informatik/ultimate/core/lib/toolchain/ToolchainModelType.java
/trunk/source/Library-UltimateCore/src/de/uni_freiburg/informatik/ultimate/core/lib/toolchain/OptionType.java
/trunk/source/Library-UltimateCore/src/de/uni_freiburg/informatik/ultimate/core/lib/toolchain/RunDefinition.java
/trunk/source/Library-UltimateTest/src/de/uni_freiburg/informatik/ultimate/test/benchexec/benchmark/*.java
/trunk/source/ACSLParser/src/de/uni_freiburg/informatik/ultimate/acsl/parser/Parser.java
/trunk/source/ACSLParser/src/de/uni_freiburg/informatik/ultimate/acsl/parser/Scanner.java
/trunk/source/ACSLParser/src/de/uni_freiburg/informatik/ultimate/acsl/parser/Scanner.java~
/trunk/source/ACSLParser/src/de/uni_freiburg/informatik/ultimate/acsl/parser/sym.java
/trunk/source/ASTBuilder/src/de/uni_freiburg/informatik/ultimate/astbuilder/parser.java
/trunk/source/ASTBuilder/src/de/uni_freiburg/informatik/ultimate/astbuilder/sym.java
/trunk/source/AutomataScriptParser/src/de/uni_freiburg/informatik/ultimate/plugins/source/automatascriptparser/Lexer.java
/trunk/source/AutomataScriptParser/src/de/uni_freiburg/informatik/ultimate/plugins/source/automatascriptparser/Lexer.java~
/trunk/source/AutomataScriptParser/src/de/uni_freiburg/informatik/ultimate/plugins/source/automatascriptparser/Parser.java
/trunk/source/AutomataScriptParser/src/de/uni_freiburg/informatik/ultimate/plugins/source/automatascriptparser/sym.java
/trunk/source/BoogiePLParser/src/de/uni_freiburg/informatik/ultimate/boogie/parser/Lexer.java
/trunk/source/BoogiePLParser/src/de/uni_freiburg/informatik/ultimate/boogie/parser/Lexer.java~
/trunk/source/BoogiePLParser/src/de/uni_freiburg/informatik/ultimate/boogie/parser/LexerSymbols.java
/trunk/source/BoogiePLParser/src/de/uni_freiburg/informatik/ultimate/boogie/parser/Parser.java
/trunk/source/ConstraintParser/src/de/uni_freiburg/informatik/ultimate/constraintparser/Lexer.java
/trunk/source/ConstraintParser/src/de/uni_freiburg/informatik/ultimate/constraintparser/Lexer.java~
/trunk/source/ConstraintParser/src/de/uni_freiburg/informatik/ultimate/constraintparser/LexerSymbols.java
/trunk/source/ConstraintParser/src/de/uni_freiburg/informatik/ultimate/constraintparser/Parser.java
/trunk/source/LTL2aut/src/de/uni_freiburg/informatik/ultimate/ltl2aut/Lexer.java
/trunk/source/LTL2aut/src/de/uni_freiburg/informatik/ultimate/ltl2aut/Lexer.java~
/trunk/source/LTL2aut/src/de/uni_freiburg/informatik/ultimate/ltl2aut/LexerAP.java
/trunk/source/LTL2aut/src/de/uni_freiburg/informatik/ultimate/ltl2aut/LexerAP.java~
/trunk/source/LTL2aut/src/de/uni_freiburg/informatik/ultimate/ltl2aut/Parser.java
/trunk/source/LTL2aut/src/de/uni_freiburg/informatik/ultimate/ltl2aut/ParserAP.java
/trunk/source/LTL2aut/src/de/uni_freiburg/informatik/ultimate/ltl2aut/Symbols.java
/trunk/source/LTL2aut/src/de/uni_freiburg/informatik/ultimate/ltl2aut/SymbolsAP.java
/trunk/source/SMTInterpol/src/de/uni_freiburg/informatik/ultimate/smtinterpol/dimacs/Lexer.java
/trunk/source/SMTInterpol/src/de/uni_freiburg/informatik/ultimate/smtinterpol/dimacs/Lexer.java~
/trunk/source/SMTInterpol/src/de/uni_freiburg/informatik/ultimate/smtinterpol/dimacs/LexerSymbols.java
/trunk/source/SMTInterpol/src/de/uni_freiburg/informatik/ultimate/smtinterpol/dimacs/Parser.java
/trunk/source/SMTInterpol/src/de/uni_freiburg/informatik/ultimate/smtinterpol/smtlib/Lexer.java
/trunk/source/SMTInterpol/src/de/uni_freiburg/informatik/ultimate/smtinterpol/smtlib/Lexer.java~
/trunk/source/SMTInterpol/src/de/uni_freiburg/informatik/ultimate/smtinterpol/smtlib/LexerSymbols.java
/trunk/source/SMTInterpol/src/de/uni_freiburg/informatik/ultimate/smtinterpol/smtlib/Parser.java
/trunk/source/SMTInterpol/src/de/uni_freiburg/informatik/ultimate/smtinterpol/smtlib2/Lexer.java
/trunk/source/SMTInterpol/src/de/uni_freiburg/informatik/ultimate/smtinterpol/smtlib2/Lexer.java~
/trunk/source/SMTInterpol/src/de/uni_freiburg/informatik/ultimate/smtinterpol/smtlib2/LexerSymbols.java
/trunk/source/SMTInterpol/src/de/uni_freiburg/informatik/ultimate/smtinterpol/smtlib2/Parser.java
/trunk/source/SMTInterpol/src/de/uni_freiburg/informatik/ultimate/smtinterpol/proof/checker/ProofLexer.java
/trunk/source/SMTInterpol/src/de/uni_freiburg/informatik/ultimate/smtinterpol/proof/checker/ProofLexer.java~
/trunk/source/SMTInterpol/src/de/uni_freiburg/informatik/ultimate/smtinterpol/proof/checker/ProofParser.java
/trunk/source/SMTInterpol/src/de/uni_freiburg/informatik/ultimate/smtinterpol/proof/checker/ProofSymbols.java
/trunk/source/SMTSolverBridge/src/de/uni_freiburg/informatik/ultimate/smtsolver/external/Lexer.java
/trunk/source/SMTSolverBridge/src/de/uni_freiburg/informatik/ultimate/smtsolver/external/Lexer.java~
/trunk/source/SMTSolverBridge/src/de/uni_freiburg/informatik/ultimate/smtsolver/external/LexerSymbols.java
/trunk/source/SMTSolverBridge/src/de/uni_freiburg/informatik/ultimate/smtsolver/external/Parser.java
/trunk/source/Library-srParse/src/de/uni_freiburg/informatik/ultimate/lib/srparse/ReqLexer.java~
/trunk/source/Library-srParse/src/de/uni_freiburg/informatik/ultimate/lib/srparse/ReqParser.java
/trunk/source/Library-srParse/src/de/uni_freiburg/informatik/ultimate/lib/srparse/ReqLexer.java
/trunk/source/Library-srParse/src/de/uni_freiburg/informatik/ultimate/lib/srparse/ReqSymbols.java
/trunk/source/Crocotta/src/de/uni_freiburg/informatik/ultimate/crocotta/parser/CrocLexer.java
/trunk/source/Crocotta/src/de/uni_freiburg/informatik/ultimate/crocotta/parser/CrocLexer.java~
/trunk/source/Crocotta/src/de/uni_freiburg/informatik/ultimate/crocotta/parser/CrocParser.java
/trunk/source/Crocotta/src/de/uni_freiburg/informatik/ultimate/crocotta/parser/CrocSymbols.java
/trunk/source/Crocotta/src/de/uni_freiburg/informatik/ultimate/crocotta/ast/Concatenation.java
/trunk/source/Crocotta/src/de/uni_freiburg/informatik/ultimate/crocotta/ast/CrocottaAstTransformer.java
/trunk/source/Crocotta/src/de/uni_freiburg/informatik/ultimate/crocotta/ast/CrocottaAstVisitor.java
/trunk/source/Crocotta/src/de/uni_freiburg/informatik/ultimate/crocotta/ast/Event.java
/trunk/source/Crocotta/src/de/uni_freiburg/informatik/ultimate/crocotta/ast/FinInfExpression.java
/trunk/source/Crocotta/src/de/uni_freiburg/informatik/ultimate/crocotta/ast/FixpointQuery.java
/trunk/source/Crocotta/src/de/uni_freiburg/informatik/ultimate/crocotta/ast/InclusionQuery.java
/trunk/source/Crocotta/src/de/uni_freiburg/informatik/ultimate/crocotta/ast/Intersection.java
/trunk/source/Crocotta/src/de/uni_freiburg/informatik/ultimate/crocotta/ast/LanguageExpression.java
/trunk/source/Crocotta/src/de/uni_freiburg/informatik/ultimate/crocotta/ast/Numeral.java
/trunk/source/Crocotta/src/de/uni_freiburg/informatik/ultimate/crocotta/ast/Query.java
/trunk/source/Crocotta/src/de/uni_freiburg/informatik/ultimate/crocotta/ast/Union.java
/trunk/source/JavaCup/bootstrap/java_cup/*
/trunk/source/JavaCup/classes/java_cup
/trunk/source/JavaCup/dist
/trunk/source/JavaCup/java/java_cup
/trunk/source/CoreRCP/version.properties
/trunk/source/JavaCup/bootstrap/com/github/jhoenicke/javacup
/trunk/source/JavaCup/classes/com/github/jhoenicke/javacup
/trunk/source/JavaCup/java/com/github/jhoenicke/javacup
/releaseScripts/.idea
/releaseScripts/default/update-smtinterpol-firestation.sh
/trunk/runtime-Debug-E4.product
/trunk/runtime-WebBackend.product
trunk/source/WebsiteStatic/_site
trunk/source/WebsiteStatic/.jekyll-cache
trunk/source/WebsiteStatic/bootstrap_dev/node_modules/
trunk/source/WebsiteStatic/bootstrap_dev/*.css
trunk/source/WebsiteStatic/bootstrap_dev/*.css.map
trunk/source/WebsiteStatic/js/webinterface/config.js
trunk/source/WebsiteStatic/webinterface/code_examples/
trunk/source/WebsiteStatic/webinterface/workers/*.json
!trunk/source/WebsiteStatic/webinterface/workers/*.override.json
releaseScripts/default/sv-benchmarks