projects
/
cvc5.git
/ tree
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
| tree
history
|
HEAD
Reinstantiate support for conjunctions in facts (#4377)
[cvc5.git]
/
test
/
regress
/
regress0
/
fmf
/
drwxr-xr-x
..
-rw-r--r--
21182
Arrow_Order-smtlib.778341.smtv1.smt2
blob
|
history
|
raw
-rw-r--r--
4433
QEpres-uf.855035.smtv1.smt2
blob
|
history
|
raw
-rw-r--r--
373
array_card.smt2
blob
|
history
|
raw
-rw-r--r--
382
bounded_sets.smt2
blob
|
history
|
raw
-rw-r--r--
247
bug-041417-set-options.cvc
blob
|
history
|
raw
-rw-r--r--
578
bug652.smt2
blob
|
history
|
raw
-rw-r--r--
597
bug782.smt2
blob
|
history
|
raw
-rw-r--r--
373
cruanes-no-minimal-unk.smt2
blob
|
history
|
raw
-rw-r--r--
175
fc-simple.smt2
blob
|
history
|
raw
-rw-r--r--
323
fc-unsat-pent.smt2
blob
|
history
|
raw
-rw-r--r--
216
fc-unsat-tot-2.smt2
blob
|
history
|
raw
-rw-r--r--
157
fd-false.smt2
blob
|
history
|
raw
-rw-r--r--
627
fmc_unsound_model.smt2
blob
|
history
|
raw
-rw-r--r--
453
fmf-strange-bounds-2.smt2
blob
|
history
|
raw
-rw-r--r--
244
forall_unit_data2.smt2
blob
|
history
|
raw
-rw-r--r--
189
issue3661-ccard-dec.smt2
blob
|
history
|
raw
-rw-r--r--
811
krs-sat.smt2
blob
|
history
|
raw
-rw-r--r--
496
no-minimal-sat.smt2
blob
|
history
|
raw
-rw-r--r--
510
quant_real_univ.cvc
blob
|
history
|
raw
-rw-r--r--
175
sat-logic.smt2
blob
|
history
|
raw
-rw-r--r--
1087
sc_bad_model_1221.smt2
blob
|
history
|
raw
-rw-r--r--
189
sort-infer-typed-082718.smt2
blob
|
history
|
raw
-rw-r--r--
374
syn002-si-real-int.smt2
blob
|
history
|
raw
-rw-r--r--
305
tail_rec.smt2
blob
|
history
|
raw