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

author	Andrew Reynolds <andrew.j.reynolds@gmail.com>
	Mon, 7 May 2018 15:22:27 +0000 (10:22 -0500)
committer	GitHub <noreply@github.com>
	Mon, 7 May 2018 15:22:27 +0000 (10:22 -0500)
commit	db43ae511c2103f1e9718a8954e26cf7866d14a8
tree	3d0654dd38d404bbe31c2bd543a003b351d37336	tree
parent	884ad1a946ad6a04664ef97121ce1cebb5513d40	commit \| diff

Add support for str.code (#1821)

16 files changed:

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.h		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/util/regexp.cpp		diff \| blob \| history
src/util/regexp.h		diff \| blob \| history
test/regress/Makefile.tests		diff \| blob \| history
test/regress/regress1/strings/code-sequence.smt2	[new file with mode: 0644]	blob
test/regress/regress1/strings/str-code-sat.smt2	[new file with mode: 0644]	blob
test/regress/regress1/strings/str-code-unsat-2.smt2	[new file with mode: 0644]	blob
test/regress/regress1/strings/str-code-unsat-3.smt2	[new file with mode: 0644]	blob
test/regress/regress1/strings/str-code-unsat.smt2	[new file with mode: 0644]	blob