projects
/
cvc5.git
/ tree
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
| tree
history
|
HEAD
Fix dump-unsat-cores-full (#4303)
[cvc5.git]
/
test
/
regress
/
regress0
/
rels
/
drwxr-xr-x
..
-rw-r--r--
1178
addr_book_0.cvc
blob
|
history
|
raw
-rw-r--r--
444
atom_univ2.cvc
blob
|
history
|
raw
-rw-r--r--
154
card_transpose.cvc
blob
|
history
|
raw
-rw-r--r--
467
iden_0.cvc
blob
|
history
|
raw
-rw-r--r--
356
iden_1.cvc
blob
|
history
|
raw
-rw-r--r--
402
join-eq-u-sat.cvc
blob
|
history
|
raw
-rw-r--r--
404
join-eq-u.cvc
blob
|
history
|
raw
-rw-r--r--
576
joinImg_0.cvc
blob
|
history
|
raw
-rw-r--r--
392
oneLoc_no_quant-int_0_1.cvc
blob
|
history
|
raw
-rw-r--r--
351
rel_1tup_0.cvc
blob
|
history
|
raw
-rw-r--r--
403
rel_complex_0.cvc
blob
|
history
|
raw
-rw-r--r--
554
rel_complex_1.cvc
blob
|
history
|
raw
-rw-r--r--
186
rel_conflict_0.cvc
blob
|
history
|
raw
-rw-r--r--
392
rel_join_0.cvc
blob
|
history
|
raw
-rw-r--r--
469
rel_join_0_1.cvc
blob
|
history
|
raw
-rw-r--r--
524
rel_join_1.cvc
blob
|
history
|
raw
-rw-r--r--
512
rel_join_1_1.cvc
blob
|
history
|
raw
-rw-r--r--
328
rel_join_2.cvc
blob
|
history
|
raw
-rw-r--r--
320
rel_join_2_1.cvc
blob
|
history
|
raw
-rw-r--r--
498
rel_join_3.cvc
blob
|
history
|
raw
-rw-r--r--
490
rel_join_3_1.cvc
blob
|
history
|
raw
-rw-r--r--
526
rel_join_4.cvc
blob
|
history
|
raw
-rw-r--r--
381
rel_join_5.cvc
blob
|
history
|
raw
-rw-r--r--
242
rel_join_6.cvc
blob
|
history
|
raw
-rw-r--r--
432
rel_join_7.cvc
blob
|
history
|
raw
-rw-r--r--
357
rel_product_0.cvc
blob
|
history
|
raw
-rw-r--r--
349
rel_product_0_1.cvc
blob
|
history
|
raw
-rw-r--r--
379
rel_product_1.cvc
blob
|
history
|
raw
-rw-r--r--
360
rel_product_1_1.cvc
blob
|
history
|
raw
-rw-r--r--
335
rel_symbolic_1.cvc
blob
|
history
|
raw
-rw-r--r--
289
rel_symbolic_1_1.cvc
blob
|
history
|
raw
-rw-r--r--
311
rel_symbolic_2_1.cvc
blob
|
history
|
raw
-rw-r--r--
316
rel_symbolic_3_1.cvc
blob
|
history
|
raw
-rw-r--r--
412
rel_tc_11.cvc
blob
|
history
|
raw
-rw-r--r--
481
rel_tc_2_1.cvc
blob
|
history
|
raw
-rw-r--r--
437
rel_tc_3.cvc
blob
|
history
|
raw
-rw-r--r--
287
rel_tc_3_1.cvc
blob
|
history
|
raw
-rw-r--r--
231
rel_tc_7.cvc
blob
|
history
|
raw
-rw-r--r--
192
rel_tc_8.cvc
blob
|
history
|
raw
-rw-r--r--
274
rel_tp_3_1.cvc
blob
|
history
|
raw
-rw-r--r--
537
rel_tp_join_0.cvc
blob
|
history
|
raw
-rw-r--r--
490
rel_tp_join_1.cvc
blob
|
history
|
raw
-rw-r--r--
392
rel_tp_join_2.cvc
blob
|
history
|
raw
-rw-r--r--
583
rel_tp_join_3.cvc
blob
|
history
|
raw
-rw-r--r--
420
rel_tp_join_eq_0.cvc
blob
|
history
|
raw
-rw-r--r--
386
rel_tp_join_int_0.cvc
blob
|
history
|
raw
-rw-r--r--
435
rel_tp_join_pro_0.cvc
blob
|
history
|
raw
-rw-r--r--
441
rel_tp_join_var_0.cvc
blob
|
history
|
raw
-rw-r--r--
281
rel_transpose_0.cvc
blob
|
history
|
raw
-rw-r--r--
248
rel_transpose_1.cvc
blob
|
history
|
raw
-rw-r--r--
273
rel_transpose_1_1.cvc
blob
|
history
|
raw
-rw-r--r--
262
rel_transpose_3.cvc
blob
|
history
|
raw
-rw-r--r--
218
rel_transpose_4.cvc
blob
|
history
|
raw
-rw-r--r--
348
rel_transpose_5.cvc
blob
|
history
|
raw
-rw-r--r--
387
rel_transpose_6.cvc
blob
|
history
|
raw
-rw-r--r--
185
rel_transpose_7.cvc
blob
|
history
|
raw
-rw-r--r--
858
relations-ops.smt2
blob
|
history
|
raw
-rw-r--r--
227
rels-sharing-simp.cvc
blob
|
history
|
raw