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

author	mudathirmahgoub <mudathirmahgoub@gmail.com>
	Tue, 1 Feb 2022 14:58:04 +0000 (08:58 -0600)
committer	GitHub <noreply@github.com>
	Tue, 1 Feb 2022 14:58:04 +0000 (14:58 +0000)
commit	2d64f408f416c601b3b545984ca1b6c31c151f16
tree	8e93c8e3ac4f4719d8fb05c4c29878249f19003b	tree
parent	fc620343734a9a2415792182a91f7fd273d9c9c1	commit \| diff

Add bag.filter operator (#8006)

33 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	[new file with mode: 0644]	blob
src/theory/bags/bags_utils.h	[new file with mode: 0644]	blob
src/theory/bags/card_solver.cpp		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/normal_form.cpp	[deleted file]	blob \| history
src/theory/bags/normal_form.h	[deleted file]	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_type_enumerator.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/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/filter1.smt2	[new file with mode: 0644]	blob
test/regress/regress1/bags/filter2.smt2	[new file with mode: 0644]	blob
test/regress/regress1/bags/filter3.smt2	[new file with mode: 0644]	blob
test/regress/regress1/bags/filter4.smt2	[new file with mode: 0644]	blob
test/regress/regress1/bags/filter5.smt2	[new file with mode: 0644]	blob
test/regress/regress1/bags/map1.smt2		diff \| blob \| history
test/unit/theory/theory_bags_normal_form_white.cpp		diff \| blob \| history

RSS Atom