projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d41b88c) | patch
Fix bug for trivial extf inferences in strings. Improve caching for splits in strings...
authorajreynol <andrew.j.reynolds@gmail.com>
Mon, 28 Sep 2015 08:47:09 +0000 (10:47 +0200)
committerajreynol <andrew.j.reynolds@gmail.com>
Mon, 28 Sep 2015 08:47:09 +0000 (10:47 +0200)
commitfd186a7a53bc6c521eea2b83a5529ec2854d4428
tree5650c8e0d8102fe0bb3da972dc736010a8c1c7fftree
parentd41b88cdec616e56310492efcda9c553008661d0commit | diff
Fix bug for trivial extf inferences in strings. Improve caching for splits in strings. Other improvements.
src/theory/strings/options diff | blob | history
src/theory/strings/theory_strings.cpp diff | blob | history
src/theory/strings/theory_strings.h diff | blob | history
test/regress/regress0/strings/Makefile.am diff | blob | history