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

author	Andrew Reynolds <andrew.j.reynolds@gmail.com>
	Thu, 9 Aug 2018 20:11:27 +0000 (15:11 -0500)
committer	Aina Niemetz <aina.niemetz@gmail.com>
	Thu, 9 Aug 2018 20:11:27 +0000 (13:11 -0700)
commit	0a02fd2b69c0c0f454fc33d8028b24f4fcf431de
tree	c1ac5ce905728635b4e872810d68dd3f51ba01d8	tree
parent	5052848f548aefd50cca9550b750eb537eee258c	commit \| diff

Fix char overflow issues in regular expression solver (#2275)

12 files changed:

src/api/cvc4cpp.cpp		diff \| blob \| history
src/theory/strings/regexp_operation.cpp		diff \| blob \| history
src/theory/strings/regexp_operation.h		diff \| blob \| history
src/theory/strings/theory_strings.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
src/theory/strings/type_enumerator.h		diff \| blob \| history
src/util/regexp.cpp		diff \| blob \| history
src/util/regexp.h		diff \| blob \| history
test/regress/Makefile.tests		diff \| blob \| history
test/regress/regress1/strings/nterm-re-inter-sigma.smt2	[new file with mode: 0644]	blob