index
:
smtcoq
coq-8.13
Fork of https://github.com/smtcoq/smtcoq.
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
unit-tests
Mode
Name
Size
-rw-r--r--
Makefile
1219
log
stats
plain
-rw-r--r--
Tests_lfsc_tactics.v
18194
log
stats
plain
-rw-r--r--
Tests_verit_tactics.v
37457
log
stats
plain
-rw-r--r--
Tests_verit_vernac.v
16339
log
stats
plain
-rw-r--r--
Tests_zchaff_tactics.v
9220
log
stats
plain
-rw-r--r--
Tests_zchaff_vernac.v
2705
log
stats
plain
-rw-r--r--
bv1.log
400
log
stats
plain
-rw-r--r--
bv1.smt2
92
log
stats
plain
-rw-r--r--
bv2.log
542
log
stats
plain
-rw-r--r--
bv2.smt2
92
log
stats
plain
-rw-r--r--
cmu-bmc-barrel6.cnf
139970
log
stats
plain
-rw-r--r--
debug_coq.v
2143
log
stats
plain
-rw-r--r--
demo_lfsc_bool.v
4418
log
stats
plain
-rw-r--r--
demo_lfsc_prop.v
4723
log
stats
plain
-rw-r--r--
ex1.lfsc
1348
log
stats
plain
-rw-r--r--
ex1.smt2
167
log
stats
plain
-rw-r--r--
hole4.cnf
1442
log
stats
plain
-rw-r--r--
hole4.smt2
2346
log
stats
plain
-rw-r--r--
large1.v
2699
log
stats
plain
-rw-r--r--
let1.smt2
130
log
stats
plain
-rw-r--r--
let2.smt2
150
log
stats
plain
-rw-r--r--
lia1.smt2
202
log
stats
plain
-rw-r--r--
lia2.smt2
105
log
stats
plain
-rw-r--r--
lia3.smt2
127
log
stats
plain
-rw-r--r--
lia4.smt2
126
log
stats
plain
-rw-r--r--
lia5.smt2
160
log
stats
plain
-rw-r--r--
lia6.smt2
127
log
stats
plain
-rw-r--r--
lia7.smt2
105
log
stats
plain
-rwxr-xr-x
runverit.sh
196
log
stats
plain
-rwxr-xr-x
runzchaff.sh
100
log
stats
plain
-rw-r--r--
sat0.smt2
52
log
stats
plain
-rw-r--r--
sat1.cnf
30
log
stats
plain
-rw-r--r--
sat1.smt2
86
log
stats
plain
-rw-r--r--
sat10.smt2
135
log
stats
plain
-rw-r--r--
sat11.smt2
199
log
stats
plain
-rw-r--r--
sat12.smt2
221
log
stats
plain
-rw-r--r--
sat13.smt2
148
log
stats
plain
-rw-r--r--
sat14.smt2
204
log
stats
plain
-rw-r--r--
sat2.cnf
84
log
stats
plain
-rw-r--r--
sat2.smt2
157
log
stats
plain
-rw-r--r--
sat3.cnf
38
log
stats
plain
-rw-r--r--
sat3.smt2
93
log
stats
plain
-rw-r--r--
sat4.smt2
91
log
stats
plain
-rw-r--r--
sat5.cnf
116
log
stats
plain
-rw-r--r--
sat5.smt2
209
log
stats
plain
-rw-r--r--
sat6.cnf
84
log
stats
plain
-rw-r--r--
sat6.smt2
210
log
stats
plain
-rw-r--r--
sat7.cnf
84
log
stats
plain
-rw-r--r--
sat7.smt2
198
log
stats
plain
-rw-r--r--
sat8.smt2
98
log
stats
plain
-rw-r--r--
sat9.smt2
159
log
stats
plain
-rw-r--r--
uf1.smt2
248
log
stats
plain
-rw-r--r--
uf2.smt2
212
log
stats
plain
-rw-r--r--
uf3.smt2
194
log
stats
plain
-rw-r--r--
uf4.smt2
214
log
stats
plain
-rw-r--r--
uf5.smt2
251
log
stats
plain
-rw-r--r--
uf6.smt2
195
log
stats
plain
-rw-r--r--
uf7.smt2
203
log
stats
plain
-rw-r--r--
velev-sss-1.0-05.cnf
193858
log
stats
plain