git.libre-soc.org Git - cvc5.git/commit

added rules for join and transpose operators
added more benchmarks

17 files changed:

src/theory/sets/theory_sets_private.cpp		diff \| blob \| history
src/theory/sets/theory_sets_rels.cpp		diff \| blob \| history
src/theory/sets/theory_sets_rels.h		diff \| blob \| history
src/theory/sets/theory_sets_type_rules.h		diff \| blob \| history
test/regress/regress0/sets/Makefile.am		diff \| blob \| history
test/regress/regress0/sets/rels/rel.cvc	[deleted file]	blob \| history
test/regress/regress0/sets/rels/rel_join.cvc	[new file with mode: 0644]	blob
test/regress/regress0/sets/rels/rel_join_0.cvc	[new file with mode: 0644]	blob
test/regress/regress0/sets/rels/rel_join_0_1.cvc	[new file with mode: 0644]	blob
test/regress/regress0/sets/rels/rel_join_1.cvc	[new file with mode: 0644]	blob
test/regress/regress0/sets/rels/rel_join_1_1.cvc	[new file with mode: 0644]	blob
test/regress/regress0/sets/rels/rel_join_2.cvc	[new file with mode: 0644]	blob
test/regress/regress0/sets/rels/rel_join_2_1.cvc	[new file with mode: 0644]	blob
test/regress/regress0/sets/rels/rel_transpose.cvc	[new file with mode: 0644]	blob
test/regress/regress0/sets/rels/rel_transpose_0.cvc	[new file with mode: 0644]	blob
test/regress/regress0/sets/rels/rel_transpose_1.cvc	[new file with mode: 0644]	blob
test/regress/regress0/sets/rels/rel_transpose_1_1.cvc	[new file with mode: 0644]	blob