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

author	mudathirmahgoub <mudathirmahgoub@gmail.com>
	Thu, 3 Feb 2022 15:55:16 +0000 (09:55 -0600)
committer	GitHub <noreply@github.com>
	Thu, 3 Feb 2022 15:55:16 +0000 (15:55 +0000)
commit	3eb47718f6e24cc719094732b639e1d8b73012a4
tree	7f3ddccb984cefebe490d9cea87fc646027f87ec	tree
parent	bf91c668b9f5089d6e4d9f9b254d7fca302cdf7f	commit \| diff

Add table.product operator (#8020)

30 files changed:

src/CMakeLists.txt		diff \| blob \| history
src/api/cpp/cvc5.cpp		diff \| blob \| history
src/api/cpp/cvc5_kind.h		diff \| blob \| history
src/parser/smt2/smt2.cpp		diff \| blob \| history
src/printer/smt2/smt2_printer.cpp		diff \| blob \| history
src/theory/bags/bag_solver.cpp		diff \| blob \| history
src/theory/bags/bag_solver.h		diff \| blob \| history
src/theory/bags/bags_rewriter.cpp		diff \| blob \| history
src/theory/bags/bags_rewriter.h		diff \| blob \| history
src/theory/bags/bags_utils.cpp		diff \| blob \| history
src/theory/bags/bags_utils.h		diff \| blob \| history
src/theory/bags/inference_generator.cpp		diff \| blob \| history
src/theory/bags/inference_generator.h		diff \| blob \| history
src/theory/bags/kinds		diff \| blob \| history
src/theory/bags/rewrites.cpp		diff \| blob \| history
src/theory/bags/rewrites.h		diff \| blob \| history
src/theory/bags/theory_bags_type_rules.cpp		diff \| blob \| history
src/theory/bags/theory_bags_type_rules.h		diff \| blob \| history
src/theory/datatypes/tuple_utils.cpp	[new file with mode: 0644]	blob
src/theory/datatypes/tuple_utils.h	[new file with mode: 0644]	blob
src/theory/inference_id.cpp		diff \| blob \| history
src/theory/inference_id.h		diff \| blob \| history
src/theory/sets/rels_utils.cpp	[new file with mode: 0644]	blob
src/theory/sets/rels_utils.h		diff \| blob \| history
src/theory/sets/theory_sets_rels.cpp		diff \| blob \| history
src/theory/sets/theory_sets_rewriter.cpp		diff \| blob \| history
test/regress/CMakeLists.txt		diff \| blob \| history
test/regress/regress1/bags/product1.smt2	[new file with mode: 0644]	blob
test/regress/regress1/bags/product2.smt2	[new file with mode: 0644]	blob
test/regress/regress1/bags/product3.smt2	[new file with mode: 0644]	blob

RSS Atom