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

author	Andrew Reynolds <andrew.j.reynolds@gmail.com>
	Sat, 26 Mar 2022 01:07:05 +0000 (20:07 -0500)
committer	GitHub <noreply@github.com>
	Sat, 26 Mar 2022 01:07:05 +0000 (01:07 +0000)
commit	1de0246d86704c2d3ec9ce18f50c4325bad9a273
tree	2bb55f8ce829b71fa5e6b1023099dd69c9302578	tree
parent	129a79d959448bc32619db85f86542d9e05605e4	commit \| diff

Fixes for API kind documentation (#8397)

Also renames str.tolower -> str.to_lower, str.toupper -> str.to_upper.

Co-authored-by: Aina Niemetz <aina.niemetz@gmail.com>

22 files changed:

proofs/lfsc/signatures/strings_programs.plf		diff \| blob \| history
proofs/lfsc/signatures/theory_def.plf		diff \| blob \| history
src/api/cpp/cvc5.cpp		diff \| blob \| history
src/api/cpp/cvc5.h		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/strings/extf_solver.cpp		diff \| blob \| history
src/theory/strings/kinds		diff \| blob \| history
src/theory/strings/sequences_rewriter.cpp		diff \| blob \| history
src/theory/strings/strings_rewriter.cpp		diff \| blob \| history
src/theory/strings/strings_rewriter.h		diff \| blob \| history
src/theory/strings/term_registry.cpp		diff \| blob \| history
src/theory/strings/theory_strings.cpp		diff \| blob \| history
src/theory/strings/theory_strings_preprocess.cpp		diff \| blob \| history
src/theory/strings/theory_strings_utils.cpp		diff \| blob \| history
test/regress/cli/regress0/strings/parser-syms.cvc.smt2		diff \| blob \| history
test/regress/cli/regress0/strings/tolower-rrs.smt2		diff \| blob \| history
test/regress/cli/regress0/strings/tolower-simple.smt2		diff \| blob \| history
test/regress/cli/regress1/strings/rev-conv1.smt2		diff \| blob \| history
test/regress/cli/regress1/strings/tolower-find.smt2		diff \| blob \| history
test/unit/api/cpp/solver_black.cpp		diff \| blob \| history

RSS Atom