projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9833e66) | patch
Fix strings preprocessing + incremental, fixes bug 682. Add initial infrastructure...
authorajreynol <andrew.j.reynolds@gmail.com>
Sun, 11 Oct 2015 13:35:14 +0000 (15:35 +0200)
committerajreynol <andrew.j.reynolds@gmail.com>
Sun, 11 Oct 2015 13:35:14 +0000 (15:35 +0200)
commitc6179b1922e0366acec51eec24a2023d21354030
tree57804bae2910c556e704b2aa0fc3408ead7897b3tree
parent9833e6635f6b5bee825034715d15ad73e9955a88commit | diff
Fix strings preprocessing + incremental, fixes bug 682. Add initial infrastructure for str.contains inferences.
src/smt/smt_engine.cpp 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_preprocess.cpp diff | blob | history
src/theory/strings/theory_strings_preprocess.h diff | blob | history
test/regress/regress0/strings/Makefile.am diff | blob | history
test/regress/regress0/strings/bug682.smt2 [new file with mode: 0644] blob