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

author	mudathirmahgoub <mudathirmahgoub@gmail.com>
	Thu, 5 May 2022 13:41:30 +0000 (08:41 -0500)
committer	GitHub <noreply@github.com>
	Thu, 5 May 2022 13:41:30 +0000 (13:41 +0000)
commit	ae61d9b6fbd7966d70a00e543b3a8724ed205a41
tree	7b2499b2d60bacc9e5256a736c679e37cc803a0c	tree
parent	388cfb3cd1e80d50751b468112e91664c5c4e47a	commit \| diff

Add operators table.aggr and table.join (#8681)

36 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/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/card_solver.cpp		diff \| blob \| history
src/theory/bags/card_solver.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/table_project_op.cpp		diff \| blob \| history
src/theory/bags/table_project_op.h		diff \| blob \| history
src/theory/bags/theory_bags.cpp		diff \| blob \| history
src/theory/bags/theory_bags.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		diff \| blob \| history
src/theory/datatypes/tuple_utils.h		diff \| blob \| history
src/theory/inference_id.cpp		diff \| blob \| history
src/theory/inference_id.h		diff \| blob \| history
test/regress/cli/CMakeLists.txt		diff \| blob \| history
test/regress/cli/regress1/bags/table_aggregate1.smt2	[new file with mode: 0644]	blob
test/regress/cli/regress1/bags/table_join1.smt2	[new file with mode: 0644]	blob
test/regress/cli/regress1/bags/table_join2.smt2	[new file with mode: 0644]	blob
test/regress/cli/regress1/bags/table_join3.smt2	[new file with mode: 0644]	blob
test/unit/theory/theory_bags_normal_form_white.cpp		diff \| blob \| history

RSS Atom