projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 51aa945) | patch
Improved handling of extended operators. Do preprocess on memberships eagerly, only...
authorajreynol <andrew.j.reynolds@gmail.com>
Sun, 27 Sep 2015 11:20:03 +0000 (13:20 +0200)
committerajreynol <andrew.j.reynolds@gmail.com>
Sun, 27 Sep 2015 11:20:03 +0000 (13:20 +0200)
commitd41b88cdec616e56310492efcda9c553008661d0
tree8966beca19020c51102e8280be8b8ea744ad5b7btree
parent51aa945e59ecf3354192f40c3f645d8b221e34a9commit | diff
Improved handling of extended operators.  Do preprocess on memberships eagerly, only process contains/memberships that have non-constant arguments.  Cleanup.
src/smt/smt_engine.cpp diff | blob | history
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
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/ilc-l-nt.smt2 [new file with mode: 0755] blob