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

author	mudathirmahgoub <mudathirmahgoub@gmail.com>
	Thu, 2 Dec 2021 02:12:30 +0000 (20:12 -0600)
committer	GitHub <noreply@github.com>
	Thu, 2 Dec 2021 02:12:30 +0000 (02:12 +0000)
commit	70997d0e3ebf2027279373d9594c66119f3fa656
tree	a7ce0933bf70efa43507cb3cb3db99220113f426	tree
parent	6afc21a16e740d4fb4a16cdbd9a6ff745c7ce00c	commit \| diff

add bag.fold operator (#7718)

26 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/expr/skolem_manager.cpp		diff \| blob \| history
src/expr/skolem_manager.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_reduction.cpp	[new file with mode: 0644]	blob
src/theory/bags/bag_reduction.h	[new file with mode: 0644]	blob
src/theory/bags/bags_rewriter.cpp		diff \| blob \| history
src/theory/bags/bags_rewriter.h		diff \| blob \| history
src/theory/bags/kinds		diff \| blob \| history
src/theory/bags/normal_form.cpp		diff \| blob \| history
src/theory/bags/normal_form.h		diff \| blob \| history
src/theory/bags/rewrites.cpp		diff \| blob \| history
src/theory/bags/rewrites.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/inference_id.cpp		diff \| blob \| history
src/theory/inference_id.h		diff \| blob \| history
test/regress/CMakeLists.txt		diff \| blob \| history
test/regress/regress1/bags/fold1.smt2	[new file with mode: 0644]	blob
test/regress/regress1/bags/fold2.smt2	[new file with mode: 0644]	blob
test/unit/theory/theory_bags_rewriter_white.cpp		diff \| blob \| history