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

author	mudathirmahgoub <mudathirmahgoub@gmail.com>
	Thu, 23 Jun 2022 14:18:41 +0000 (09:18 -0500)
committer	GitHub <noreply@github.com>
	Thu, 23 Jun 2022 14:18:41 +0000 (14:18 +0000)
commit	84356320cd9f0127d23d050d0db886cd81363981
tree	68068666ccbb8a11481bf6df351d85db9bef4237	tree
parent	ce382efe5b7f2c31d1a4d13d06c9d9e2de270290	commit \| diff

Add set.fold operator (#8867)

23 files changed:

proofs/lfsc/signatures/theory_def.plf		diff \| blob \| history
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/inference_id.cpp		diff \| blob \| history
src/theory/inference_id.h		diff \| blob \| history
src/theory/sets/kinds		diff \| blob \| history
src/theory/sets/set_reduction.cpp	[new file with mode: 0644]	blob
src/theory/sets/set_reduction.h	[new file with mode: 0644]	blob
src/theory/sets/theory_sets.cpp		diff \| blob \| history
src/theory/sets/theory_sets_private.cpp		diff \| blob \| history
src/theory/sets/theory_sets_rewriter.cpp		diff \| blob \| history
src/theory/sets/theory_sets_rewriter.h		diff \| blob \| history
src/theory/sets/theory_sets_type_rules.cpp		diff \| blob \| history
src/theory/sets/theory_sets_type_rules.h		diff \| blob \| history
test/regress/cli/CMakeLists.txt		diff \| blob \| history
test/regress/cli/regress1/sets/set_fold1.smt2	[new file with mode: 0644]	blob
test/regress/cli/regress1/sets/set_fold2.smt2	[new file with mode: 0644]	blob
test/regress/cli/regress1/sets/set_fold3.smt2	[new file with mode: 0644]	blob