projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6d396ed) | patch
refactored the code, added more benchmarks and minor fixes
authorPaul Meng <baolmeng@gmail.com>
Tue, 13 Sep 2016 16:05:25 +0000 (11:05 -0500)
committerPaul Meng <baolmeng@gmail.com>
Tue, 13 Sep 2016 16:05:25 +0000 (11:05 -0500)
commit680e0d843eced443e9d484c441b895abb403d4e0
tree5e5a9fb268b6e4f812865f74ffd0b563ddc10517tree
parent6d396ed8f2d45aceb0576ed21cab1cac86dc0061commit | diff
refactored the code, added more benchmarks and minor fixes
19 files changed:
src/theory/sets/theory_sets_rels.cpp diff | blob | history
src/theory/sets/theory_sets_rels.h diff | blob | history
test/regress/regress0/sets/rels/addr_book_0.cvc [new file with mode: 0644] blob
test/regress/regress0/sets/rels/addr_book_1.cvc [new file with mode: 0644] blob
test/regress/regress0/sets/rels/addr_book_1_1.cvc [new file with mode: 0644] blob
test/regress/regress0/sets/rels/tobesolved/garbage_collect.cvc [new file with mode: 0644] blob
test/regress/regress0/sets/rels/tobesolved/rel_1tup_syntax.cvc [new file with mode: 0644] blob
test/regress/regress0/sets/rels/tobesolved/rel_complex_2.cvc [new file with mode: 0644] blob
test/regress/regress0/sets/rels/tobesolved/rel_complex_4.cvc [new file with mode: 0644] blob
test/regress/regress0/sets/rels/tobesolved/rel_join_0.cvc [new file with mode: 0644] blob
test/regress/regress0/sets/rels/tobesolved/rel_join_com.cvc [new file with mode: 0644] blob
test/regress/regress0/sets/rels/tobesolved/rel_join_cyc_0.cvc [new file with mode: 0644] blob
test/regress/regress0/sets/rels/tobesolved/rel_join_cyc_1.cvc [new file with mode: 0644] blob
test/regress/regress0/sets/rels/tobesolved/rel_pt_0.cvc [new file with mode: 0644] blob
test/regress/regress0/sets/rels/tobesolved/rel_tc_0.cvc [new file with mode: 0644] blob
test/regress/regress0/sets/rels/tobesolved/rel_tc_1.cvc [new file with mode: 0644] blob
test/regress/regress0/sets/rels/tobesolved/rel_tp_3.cvc [new file with mode: 0644] blob
test/regress/regress0/sets/rels/tobesolved/rel_tp_4.cvc [new file with mode: 0644] blob
test/regress/regress0/sets/rels/tobesolved/test.cvc [new file with mode: 0644] blob