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
/
src
/
lfsc
/
tests
Mode
Name
Size
-rwxr-xr-x
_sat.plf
2302
log
stats
plain
-rw-r--r--
array.smt2
376
log
stats
plain
-rw-r--r--
array_bv3.smt2
731
log
stats
plain
-rw-r--r--
array_ext.smt2
484
log
stats
plain
-rw-r--r--
array_ext2.smt2
698
log
stats
plain
-rw-r--r--
array_incompleteness1.smt2
782
log
stats
plain
-rw-r--r--
bv1.smt2
92
log
stats
plain
-rw-r--r--
bv2.smt2
184
log
stats
plain
-rw-r--r--
bv3.smt2
138
log
stats
plain
-rw-r--r--
bv_add.smt2
290
log
stats
plain
-rw-r--r--
bv_artih.smt2
567
log
stats
plain
-rw-r--r--
bv_mult.smt2
290
log
stats
plain
-rw-r--r--
bv_mult10.smt2
318
log
stats
plain
-rw-r--r--
bvand1.smt2
225
log
stats
plain
-rw-r--r--
bvconcat.smt2
244
log
stats
plain
-rw-r--r--
bvneg0_32.smt2
194
log
stats
plain
-rw-r--r--
bvnot32.smt2
194
log
stats
plain
-rw-r--r--
bvult.smt2
499
log
stats
plain
-rw-r--r--
cvc4_coq40d8ed.smt2
301
log
stats
plain
-rwxr-xr-x
cvc4tocoq
890
log
stats
plain
-rwxr-xr-x
cvc4tov
1689
log
stats
plain
-rw-r--r--
dead_dnd001.smt2
2094
log
stats
plain
-rw-r--r--
dead_dnd001_and.smt2
1991
log
stats
plain
-rw-r--r--
eq_diamond37.smt2
5442
log
stats
plain
-rw-r--r--
ex.smt2
162
log
stats
plain
-rw-r--r--
exx.smt2
270
log
stats
plain
-rw-r--r--
hole.smt2
2834
log
stats
plain
-rw-r--r--
lia1.smt2
228
log
stats
plain
-rwxr-xr-x
run.sh
219
log
stats
plain
-rw-r--r--
sat13.smt2
147
log
stats
plain
-rw-r--r--
sat6.smt2
211
log
stats
plain
-rw-r--r--
sat7.smt2
221
log
stats
plain
d---------
signatures
317
log
stats
plain
-rw-r--r--
simple.smt2
292
log
stats
plain
-rw-r--r--
swap1.smt2
868
log
stats
plain
-rw-r--r--
swap3.smt2
2766
log
stats
plain
-rw-r--r--
tcong.smt2
230
log
stats
plain
-rw-r--r--
trans.smt2
275
log
stats
plain
-rw-r--r--
typesafe2.smt2
906
log
stats
plain
-rw-r--r--
typesafe3.smt2
869
log
stats
plain
-rw-r--r--
uf1.smt2
254
log
stats
plain
-rw-r--r--
uf2.smt2
212
log
stats
plain
-rw-r--r--
uf4.smt2
226
log
stats
plain
-rw-r--r--
uf5.smt2
275
log
stats
plain
-rw-r--r--
uf6.smt2
196
log
stats
plain
-rw-r--r--
uf7.smt2
203
log
stats
plain
-rw-r--r--
vmcai_bytes.smt2
1166
log
stats
plain
-rwxr-xr-x
wrapper_cvc4tocoq.sh
295
log
stats
plain