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

author	Andrew Reynolds <andrew.j.reynolds@gmail.com>
	Tue, 16 Jul 2019 22:12:15 +0000 (18:12 -0400)
committer	GitHub <noreply@github.com>
	Tue, 16 Jul 2019 22:12:15 +0000 (18:12 -0400)
commit	299192695da6700273a7d9edb78411b1fb957fd0
tree	bb05bbffc47cf3fc1f282605fe96cd08920a8d34	tree
parent	8773f7ac81dede3dcf96983087417c652cbf35b8	commit \| diff

Add support for str.tolower and str.toupper (#3092)

src/parser/smt2/smt2.cpp		diff \| blob \| history
src/printer/smt2/smt2_printer.cpp		diff \| blob \| history
src/theory/strings/kinds		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_rewriter.cpp		diff \| blob \| history
src/theory/strings/theory_strings_rewriter.h		diff \| blob \| history
src/theory/strings/theory_strings_type_rules.h		diff \| blob \| history
test/regress/CMakeLists.txt		diff \| blob \| history
test/regress/regress0/strings/tolower-simple.smt2	[new file with mode: 0644]	blob
test/regress/regress1/strings/tolower-find.smt2	[new file with mode: 0644]	blob