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

author	Aina Niemetz <aina.niemetz@gmail.com>
	Wed, 10 Nov 2021 00:36:33 +0000 (16:36 -0800)
committer	GitHub <noreply@github.com>
	Wed, 10 Nov 2021 00:36:33 +0000 (00:36 +0000)
commit	68d6329d38af159afa7dc9542ef8e04e4d5a3773
tree	1f6e35d1d58e63f2b8b436dedccf152414439a58	tree
parent	eea329d3e061e1e0e98585f8b68c8db851b46513	commit \| diff

sets: Rename set.intersection to set.inter. (#7622)

This further renames kind SET_INTERSECTION to SET_INTER.

74 files changed:

docs/theories/sets-and-relations.rst		diff \| blob \| history
examples/api/cpp/sets.cpp		diff \| blob \| history
examples/api/python/sets.py		diff \| blob \| history
examples/api/smtlib/sets.smt2		diff \| blob \| history
examples/sets-translate/sets_translate.cpp		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/quantifiers/ematching/trigger_term_info.cpp		diff \| blob \| history
src/theory/quantifiers/sygus/sygus_grammar_cons.cpp		diff \| blob \| history
src/theory/quantifiers/term_database.cpp		diff \| blob \| history
src/theory/quantifiers/term_util.cpp		diff \| blob \| history
src/theory/sep/theory_sep.cpp		diff \| blob \| history
src/theory/sets/cardinality_extension.cpp		diff \| blob \| history
src/theory/sets/kinds		diff \| blob \| history
src/theory/sets/solver_state.cpp		diff \| blob \| history
src/theory/sets/term_registry.cpp		diff \| blob \| history
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_type_rules.cpp		diff \| blob \| history
test/regress/regress0/rels/addr_book_0.cvc.smt2		diff \| blob \| history
test/regress/regress0/rels/iden_0.cvc.smt2		diff \| blob \| history
test/regress/regress0/sets/complement3.cvc.smt2		diff \| blob \| history
test/regress/regress0/sets/cvc-sample.cvc.smt2		diff \| blob \| history
test/regress/regress0/sets/eqtest.smt2		diff \| blob \| history
test/regress/regress0/sets/jan24/deepmeas0.hs.fqout.cvc4.47.smt2		diff \| blob \| history
test/regress/regress0/sets/jan27/ListConcat.hs.fqout.cvc4.177.smt2		diff \| blob \| history
test/regress/regress0/sets/rec_copy_loop_check_heap_access_43_4.smt2		diff \| blob \| history
test/regress/regress0/sets/sets-inter.smt2		diff \| blob \| history
test/regress/regress0/sets/sets-new.smt2		diff \| blob \| history
test/regress/regress0/sets/sets-poly-int-real.smt2		diff \| blob \| history
test/regress/regress0/sets/sets-sample.smt2		diff \| blob \| history
test/regress/regress0/sets/sharing-simp.smt2		diff \| blob \| history
test/regress/regress1/quantifiers/set8.smt2		diff \| blob \| history
test/regress/regress1/rels/rel_complex_3.cvc.smt2		diff \| blob \| history
test/regress/regress1/rels/rel_complex_4.cvc.smt2		diff \| blob \| history
test/regress/regress1/rels/rel_complex_5.cvc.smt2		diff \| blob \| history
test/regress/regress1/sets/ListElem.hs.fqout.cvc4.38.smt2		diff \| blob \| history
test/regress/regress1/sets/ListElts.hs.fqout.cvc4.317.smt2		diff \| blob \| history
test/regress/regress1/sets/TalkingAboutSets.hs.fqout.cvc4.3577.smt2		diff \| blob \| history
test/regress/regress1/sets/UniqueZipper.hs.1030minimized.cvc4.smt2		diff \| blob \| history
test/regress/regress1/sets/UniqueZipper.hs.1030minimized2.cvc4.smt2		diff \| blob \| history
test/regress/regress1/sets/UniqueZipper.hs.fqout.cvc4.10.smt2		diff \| blob \| history
test/regress/regress1/sets/UniqueZipper.hs.fqout.cvc4.1832.smt2		diff \| blob \| history
test/regress/regress1/sets/card-3.smt2		diff \| blob \| history
test/regress/regress1/sets/card-4.smt2		diff \| blob \| history
test/regress/regress1/sets/card-5.smt2		diff \| blob \| history
test/regress/regress1/sets/card-6.smt2		diff \| blob \| history
test/regress/regress1/sets/comp-intersect.smt2		diff \| blob \| history
test/regress/regress1/sets/deepmeas0.hs.fqout.cvc4.41.smt2		diff \| blob \| history
test/regress/regress1/sets/finite-type/sets-card-bool-1.smt2		diff \| blob \| history
test/regress/regress1/sets/finite-type/sets-card-bv-2.smt2		diff \| blob \| history
test/regress/regress1/sets/finite-type/sets-card-bv-3.smt2		diff \| blob \| history
test/regress/regress1/sets/finite-type/sets-card-bv-4.smt2		diff \| blob \| history
test/regress/regress1/sets/finite-type/sets-card-datatype-1.smt2		diff \| blob \| history
test/regress/regress1/sets/finite-type/sets-card-datatype-2.smt2		diff \| blob \| history
test/regress/regress1/sets/fuzz14418.smt2		diff \| blob \| history
test/regress/regress1/sets/fuzz15201.smt2		diff \| blob \| history
test/regress/regress1/sets/fuzz31811.smt2		diff \| blob \| history
test/regress/regress1/sets/infinite-type/sets-card-array-int-1.smt2		diff \| blob \| history
test/regress/regress1/sets/infinite-type/sets-card-array-int-2.smt2		diff \| blob \| history
test/regress/regress1/sets/infinite-type/sets-card-int-1.smt2		diff \| blob \| history
test/regress/regress1/sets/infinite-type/sets-card-int-2.smt2		diff \| blob \| history
test/regress/regress1/sets/insert_invariant_37_2.smt2		diff \| blob \| history
test/regress/regress1/sets/issue2904.smt2		diff \| blob \| history
test/regress/regress1/sets/issue4370-2-lemma-ee-iter.smt2		diff \| blob \| history
test/regress/regress1/sets/issue4370-4-lemma-ee-iter.smt2		diff \| blob \| history
test/regress/regress1/sets/issue4391-card-lasso.smt2		diff \| blob \| history
test/regress/regress1/sets/lemmabug-ListElts317minimized.smt2		diff \| blob \| history
test/regress/regress1/sets/remove_check_free_31_6.smt2		diff \| blob \| history
test/regress/regress1/sym/sym5.smt2		diff \| blob \| history
test/regress/regress1/trim.cvc.smt2		diff \| blob \| history

RSS Atom