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

projects / cvc5.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: a648666) | patch

author	Andrew Reynolds <andrew.j.reynolds@gmail.com>
	Fri, 27 Mar 2020 19:04:44 +0000 (14:04 -0500)
committer	GitHub <noreply@github.com>
	Fri, 27 Mar 2020 19:04:44 +0000 (12:04 -0700)
commit	4b7fc20dcce9eefdf568937f5e2c54141c4f5c5b
tree	70dc3d084b73f1ea313a214245a792295f75215d	tree
parent	a64866663f10db4ffadd2d48500cda05c4831f0e	commit \| diff

Move string utility file (#4164)

Moves the string file to string.h. This is required since other required utilities will soon need to be added to regexp.h.

16 files changed:

src/CMakeLists.txt		diff \| blob \| history
src/cvc4.i		diff \| blob \| history
src/theory/evaluator.h		diff \| blob \| history
src/theory/strings/kinds		diff \| blob \| history
src/theory/strings/regexp_operation.h		diff \| blob \| history
src/theory/strings/regexp_solver.h		diff \| blob \| history
src/theory/strings/type_enumerator.cpp		diff \| blob \| history
src/theory/strings/word.cpp		diff \| blob \| history
src/util/CMakeLists.txt		diff \| blob \| history
src/util/regexp.cpp	[deleted file]	blob \| history
src/util/regexp.h	[deleted file]	blob \| history
src/util/regexp.i	[deleted file]	blob \| history
src/util/string.cpp	[new file with mode: 0644]	blob
src/util/string.h	[new file with mode: 0644]	blob
src/util/string.i	[new file with mode: 0644]	blob
test/unit/theory/theory_strings_skolem_cache_black.h		diff \| blob \| history