projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: de367df) | patch
removes unsound cases, adds unrolling
authorTianyi Liang <tianyi-liang@uiowa.edu>
Fri, 27 Sep 2013 14:24:42 +0000 (09:24 -0500)
committerTianyi Liang <tianyi-liang@uiowa.edu>
Fri, 27 Sep 2013 14:24:42 +0000 (09:24 -0500)
commit58007016d91fe1954e4579b952006c54ece0f2f7
treee15a72f6f3e8bfd10ec81e80ce0b6fbf4cc5323ftree
parentde367df3e7aeac2d6c4f5d80bebef6cdc6e29021commit | diff
removes unsound cases, adds unrolling
16 files changed:
src/parser/smt2/Smt2.g diff | blob | history
src/smt/smt_engine.cpp diff | blob | history
src/theory/strings/Makefile.am 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 [new file with mode: 0644] blob
src/theory/strings/theory_strings_preprocess.h [new file with mode: 0644] blob
src/theory/strings/theory_strings_type_rules.h diff | blob | history
test/regress/regress0/strings/Makefile.am diff | blob | history
test/regress/regress0/strings/cardinality.smt2 diff | blob | history
test/regress/regress0/strings/loop002.smt2 diff | blob | history
test/regress/regress0/strings/loop003.smt2 diff | blob | history
test/regress/regress0/strings/loop004.smt2 diff | blob | history
test/regress/regress0/strings/loop006.smt2 diff | blob | history
test/regress/regress0/strings/loop007.smt2 [new file with mode: 0644] blob