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

author	mudathirmahgoub <mudathirmahgoub@gmail.com>
	Tue, 24 May 2022 14:51:49 +0000 (09:51 -0500)
committer	GitHub <noreply@github.com>
	Tue, 24 May 2022 14:51:49 +0000 (14:51 +0000)
commit	b2e25ec6ffadc4bbc9e45962da384a8c192d042e
tree	b96a609ae7f5569b155331fd893049b669e7e821	tree
parent	4da459b5bed88e7898ab030b8c2e8b2386e30b4e	commit \| diff

Add table.group operator (#8731)

22 files changed:

src/api/cpp/cvc5.cpp		diff \| blob \| history
src/api/cpp/cvc5_kind.h		diff \| blob \| history
src/expr/skolem_manager.cpp		diff \| blob \| history
src/expr/skolem_manager.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/bags_utils.h		diff \| blob \| history
src/theory/bags/kinds		diff \| blob \| history
src/theory/bags/solver_state.cpp		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_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
test/regress/cli/CMakeLists.txt		diff \| blob \| history
test/regress/cli/regress1/bags/table_group1.smt2	[new file with mode: 0644]	blob