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

author	Andrew Reynolds <andrew.j.reynolds@gmail.com>
	Wed, 21 Nov 2018 20:44:44 +0000 (14:44 -0600)
committer	GitHub <noreply@github.com>
	Wed, 21 Nov 2018 20:44:44 +0000 (14:44 -0600)
commit	2c05402119dba7e90e24621c5768514ab2f5042c
tree	cec74ac8b51d20c622205bfa39e6ef6e44d510dc	tree
parent	b3b1fffb390d19312227d7095fb404e9e0447d95	commit \| diff

Support string replace all (#2704)

17 files changed:

src/parser/cvc/Cvc.g		diff \| blob \| history
src/parser/smt2/smt2.cpp		diff \| blob \| history
src/printer/smt2/smt2_printer.cpp		diff \| blob \| history
src/theory/datatypes/datatypes_sygus.cpp		diff \| blob \| history
src/theory/strings/kinds		diff \| blob \| history
src/theory/strings/skolem_cache.cpp		diff \| blob \| history
src/theory/strings/skolem_cache.h		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
test/regress/CMakeLists.txt		diff \| blob \| history
test/regress/regress0/strings/replaceall-eval.smt2	[new file with mode: 0644]	blob
test/regress/regress1/strings/replaceall-len.smt2	[new file with mode: 0644]	blob
test/regress/regress1/strings/replaceall-replace.smt2	[new file with mode: 0644]	blob
test/regress/regress2/strings/replaceall-diffrange.smt2	[new file with mode: 0644]	blob
test/regress/regress2/strings/replaceall-len-c.smt2	[new file with mode: 0644]	blob