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

Support for relational operators identity and join image

18 files changed:

src/parser/cvc/Cvc.g		diff \| blob \| history
src/printer/cvc/cvc_printer.cpp		diff \| blob \| history
src/theory/sets/kinds		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_rewriter.cpp		diff \| blob \| history
src/theory/sets/theory_sets_type_rules.h		diff \| blob \| history
test/regress/regress0/rels/Makefile.am		diff \| blob \| history
test/regress/regress0/rels/iden_0.cvc	[new file with mode: 0644]	blob
test/regress/regress0/rels/iden_1.cvc	[new file with mode: 0644]	blob
test/regress/regress0/rels/iden_1_1.cvc	[new file with mode: 0644]	blob
test/regress/regress0/rels/joinImg_0.cvc	[new file with mode: 0644]	blob
test/regress/regress0/rels/joinImg_0_1.cvc	[new file with mode: 0644]	blob
test/regress/regress0/rels/joinImg_0_2.cvc	[new file with mode: 0644]	blob
test/regress/regress0/rels/joinImg_1.cvc	[new file with mode: 0644]	blob
test/regress/regress0/rels/joinImg_1_1.cvc	[new file with mode: 0644]	blob
test/regress/regress0/rels/joinImg_2.cvc	[new file with mode: 0644]	blob
test/regress/regress0/rels/joinImg_2_1.cvc	[new file with mode: 0644]	blob