/
.gitignore
245 lines (208 loc) · 7.1 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
# /
/bin
/build.properties
/output*
/TsmartBD.jar
/TsmartBD.zip
/cpachecker.jar
/CPAchecker-*.zip
/CPAchecker-*.tar.*
/FindBugs.html
/FindBugs.xml
/FindBugs.diff.html
/FindBugs.diff.xml
/JUnit.html
/.factorypath
*.pyc
# /META-INF/
/META-INF/.hg*
/META-INF/build.properties
/META-INF/META-INF*
/META-INF/lib*
/META-INF/.classpath
/META-INF/*.jar
/META-INF/nativeLib*
/META-INF/MANIFEST.MF
# /lib/
/lib/java
/lib/java-contrib
/lib/java-benchmark
/lib/gae
/lib/gae-contrib
/lib/appengine-java-sdk*
# /lib/native/
/lib/native/.hg*
/lib/native/build.properties
/lib/native/META-INF*
/lib/native/lib*
/lib/native/.classpath
/lib/native/*.jar
/lib/native/nativeLib*
# We don't have a license to redistribute it.
/lib/native/*/libfoci.so
# /lib/native/source/libmathsat5j/
/lib/native/source/libmathsat5j/*.log
/lib/native/source/libmathsat5j/*.o
/lib/native/source/libmathsat5j/*.so
# /lib/native/source/libz3j/
/lib/native/source/libz3j/*.log
/lib/native/source/libz3j/*.o
/lib/native/source/libz3j/*.so
/lib/native/source/libz3j/org_sosy_lab_cpachecker_util_predicates_z3_Z3NativeApi.*
# /lib/native/source/octagon-libJOct.so/
/lib/native/source/octagon-libJOct.so/*.o
/lib/native/source/octagon-libJOct.so/*.so
# /lib/source/
# /scripts/
/scripts/witness_validation_web_cloud.pyz
# /src/
/src/.hg*
/src/build.properties
/src/META-INF*
/src/lib*
/src/.classpath
/src/*.jar
/src/nativeLib*
# /src/org/sosy_lab/cpachecker/cfa/model/c/
/src/org/sosy_lab/cpachecker/cfa/model/c/.hg*
/src/org/sosy_lab/cpachecker/cfa/model/c/build.properties
/src/org/sosy_lab/cpachecker/cfa/model/c/META-INF*
/src/org/sosy_lab/cpachecker/cfa/model/c/lib*
/src/org/sosy_lab/cpachecker/cfa/model/c/.classpath
/src/org/sosy_lab/cpachecker/cfa/model/c/*.jar
/src/org/sosy_lab/cpachecker/cfa/model/c/nativeLib*
# /src/org/sosy_lab/cpachecker/core/interfaces/
/src/org/sosy_lab/cpachecker/core/interfaces/.hg*
/src/org/sosy_lab/cpachecker/core/interfaces/build.properties
/src/org/sosy_lab/cpachecker/core/interfaces/META-INF*
/src/org/sosy_lab/cpachecker/core/interfaces/lib*
/src/org/sosy_lab/cpachecker/core/interfaces/.classpath
/src/org/sosy_lab/cpachecker/core/interfaces/*.jar
/src/org/sosy_lab/cpachecker/core/interfaces/nativeLib*
# /src/org/sosy_lab/cpachecker/cpa/automaton/
/src/org/sosy_lab/cpachecker/cpa/automaton/AutomatonParser.java
/src/org/sosy_lab/cpachecker/cpa/automaton/AutomatonScanner.java
/src/org/sosy_lab/cpachecker/cpa/automaton/AutomatonSym.java
/src/org/sosy_lab/cpachecker/cpa/automaton/ObserverAnalysisAutomatedTests.java
/src/org/sosy_lab/cpachecker/cpa/automaton/tmp.txt
# /src/org/sosy_lab/cpachecker/cpa/composite/
/src/org/sosy_lab/cpachecker/cpa/composite/.hg*
/src/org/sosy_lab/cpachecker/cpa/composite/build.properties
/src/org/sosy_lab/cpachecker/cpa/composite/META-INF*
/src/org/sosy_lab/cpachecker/cpa/composite/lib*
/src/org/sosy_lab/cpachecker/cpa/composite/.classpath
/src/org/sosy_lab/cpachecker/cpa/composite/*.jar
/src/org/sosy_lab/cpachecker/cpa/composite/nativeLib*
# /src/org/sosy_lab/cpachecker/cpa/defuse/
/src/org/sosy_lab/cpachecker/cpa/defuse/.hg*
/src/org/sosy_lab/cpachecker/cpa/defuse/build.properties
/src/org/sosy_lab/cpachecker/cpa/defuse/META-INF*
/src/org/sosy_lab/cpachecker/cpa/defuse/lib*
/src/org/sosy_lab/cpachecker/cpa/defuse/.classpath
/src/org/sosy_lab/cpachecker/cpa/defuse/*.jar
/src/org/sosy_lab/cpachecker/cpa/defuse/nativeLib*
# /src/org/sosy_lab/cpachecker/cpa/featurevariables/
/src/org/sosy_lab/cpachecker/cpa/featurevariables/TestBDD.java
# /src/org/sosy_lab/cpachecker/cpa/location/
/src/org/sosy_lab/cpachecker/cpa/location/.hg*
/src/org/sosy_lab/cpachecker/cpa/location/build.properties
/src/org/sosy_lab/cpachecker/cpa/location/META-INF*
/src/org/sosy_lab/cpachecker/cpa/location/lib*
/src/org/sosy_lab/cpachecker/cpa/location/.classpath
/src/org/sosy_lab/cpachecker/cpa/location/*.jar
/src/org/sosy_lab/cpachecker/cpa/location/nativeLib*
# /src/org/sosy_lab/cpachecker/cpa/octagon/
/src/org/sosy_lab/cpachecker/cpa/octagon/.hg*
/src/org/sosy_lab/cpachecker/cpa/octagon/build.properties
/src/org/sosy_lab/cpachecker/cpa/octagon/META-INF*
/src/org/sosy_lab/cpachecker/cpa/octagon/lib*
/src/org/sosy_lab/cpachecker/cpa/octagon/.classpath
/src/org/sosy_lab/cpachecker/cpa/octagon/*.jar
/src/org/sosy_lab/cpachecker/cpa/octagon/nativeLib*
# /src/org/sosy_lab/cpachecker/exceptions/
/src/org/sosy_lab/cpachecker/exceptions/.hg*
/src/org/sosy_lab/cpachecker/exceptions/build.properties
/src/org/sosy_lab/cpachecker/exceptions/META-INF*
/src/org/sosy_lab/cpachecker/exceptions/lib*
/src/org/sosy_lab/cpachecker/exceptions/.classpath
/src/org/sosy_lab/cpachecker/exceptions/*.jar
/src/org/sosy_lab/cpachecker/exceptions/nativeLib*
# /src/org/sosy_lab/cpachecker/util/octagon/
/src/org/sosy_lab/cpachecker/util/octagon/.hg*
/src/org/sosy_lab/cpachecker/util/octagon/build.properties
/src/org/sosy_lab/cpachecker/util/octagon/META-INF*
/src/org/sosy_lab/cpachecker/util/octagon/lib*
/src/org/sosy_lab/cpachecker/util/octagon/.classpath
/src/org/sosy_lab/cpachecker/util/octagon/*.jar
/src/org/sosy_lab/cpachecker/util/octagon/nativeLib*
# /src/org/sosy_lab/cpachecker/util/predicates/smtInterpol/
/src/org/sosy_lab/cpachecker/util/predicates/smtInterpol/Lexer.java
/src/org/sosy_lab/cpachecker/util/predicates/smtInterpol/LexerSymbols.java
/src/org/sosy_lab/cpachecker/util/predicates/smtInterpol/Parser.java
/src/org/sosy_lab/cpachecker/util/predicates/smtInterpol/*~
# /test/
/test/a.out
/test/*.i
/test/*.o
# /test/original-sources/blasting_linux/
/test/original-sources/blasting_linux/a.out
/test/original-sources/blasting_linux/*.i
/test/original-sources/blasting_linux/*.o
# /test/programs/
/test/programs/ldv-benchmarks
# /test/programs/blasting_linux/
/test/programs/blasting_linux/*.log
/test/programs/blasting_linux/a.out
/test/programs/blasting_linux/*.i
/test/programs/blasting_linux/*.o
# /test/programs/freeradius/
/test/programs/freeradius/*.log
/test/programs/freeradius/a.out
/test/programs/freeradius/*.i
/test/programs/freeradius/*.o
# /test/programs/loops/
/test/programs/loops/*.log
/test/programs/loops/a.out
/test/programs/loops/*.i
/test/programs/loops/*.o
# /test/programs/olden/
/test/programs/olden/*.log
/test/programs/olden/a.out
/test/programs/olden/*.i
/test/programs/olden/*.o
# /test/programs/simple/
/test/programs/simple/*.log
/test/programs/simple/a.out
/test/programs/simple/*.i
/test/programs/simple/*.o
# /test/programs/sqlite/
/test/programs/sqlite/*.log
/test/programs/sqlite/a.out
/test/programs/sqlite/*.i
/test/programs/sqlite/*.o
# /test/results/
/test/results/*
/.metadata
/test/programs/benchmarks
# apron testcase
/testcase/*
/war/WEB-INF/appengine-generated
/war/WEB-INF/classes
/war/WEB-INF/lib
/war/WEB-INF/configurations
/war/WEB-INF/specifications
.idea/workspace.xml
.idea/uiDesigner.xml
.idea/dictionaries
.idea/findbugs-idea.xml
.idea/junitgenerator-prj-settings.xml
.idea/vcs.xml
.idea/codeStyles/
# Generated files.
src/org/sosy_lab/cpachecker/util/predicates/precisionConverter/FormulaParser.java
src/org/sosy_lab/cpachecker/util/predicates/precisionConverter/FormulaScanner.java
src/org/sosy_lab/cpachecker/util/predicates/precisionConverter/FormulaSymbols.java
# Generated jar files
TsmartBD.jar
TsmartBuild.jar
TsmartAnalyze.jar