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

author	mudathirmahgoub <mudathirmahgoub@gmail.com>
	Wed, 6 Jul 2022 21:02:23 +0000 (16:02 -0500)
committer	GitHub <noreply@github.com>
	Wed, 6 Jul 2022 21:02:23 +0000 (21:02 +0000)
commit	17d5e26a9a0aac458cd8c9a0bf8d99b62efadc52
tree	fa2fa3cc88714b90e15ffd2c5e12d72ccf4511ab	tree
parent	264ad1e305b2ae724bbd20b2a33872ba9010dba9	commit \| diff

Add rel.project operator to sets (#8929)

25 files changed:

src/api/cpp/cvc5.cpp		diff \| blob \| history
src/api/cpp/cvc5_kind.h		diff \| blob \| history
src/parser/smt2/Smt2.g		diff \| blob \| history
src/parser/smt2/smt2.cpp		diff \| blob \| history
src/printer/smt2/smt2_printer.cpp		diff \| blob \| history
src/theory/bags/bag_reduction.cpp		diff \| blob \| history
src/theory/bags/bag_reduction.h		diff \| blob \| history
src/theory/bags/bags_utils.cpp		diff \| blob \| history
src/theory/bags/theory_bags.cpp		diff \| blob \| history
src/theory/bags/theory_bags_type_rules.h		diff \| blob \| history
src/theory/sets/kinds		diff \| blob \| history
src/theory/sets/set_reduction.cpp		diff \| blob \| history
src/theory/sets/set_reduction.h		diff \| blob \| history
src/theory/sets/theory_sets.cpp		diff \| blob \| history
src/theory/sets/theory_sets_rewriter.cpp		diff \| blob \| history
src/theory/sets/theory_sets_rewriter.h		diff \| blob \| history
src/theory/sets/theory_sets_type_rules.cpp		diff \| blob \| history
src/theory/sets/theory_sets_type_rules.h		diff \| blob \| history
test/regress/cli/CMakeLists.txt		diff \| blob \| history
test/regress/cli/regress1/bags/table_project2.smt2	[new file with mode: 0644]	blob
test/regress/cli/regress1/sets/relation_project1.smt2	[new file with mode: 0644]	blob
test/regress/cli/regress1/sets/relation_project2.smt2	[new file with mode: 0644]	blob
test/unit/api/cpp/op_black.cpp		diff \| blob \| history
test/unit/api/java/OpTest.java		diff \| blob \| history
test/unit/api/python/test_op.py		diff \| blob \| history