projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3c2fc39) | patch
adds partial function substr. the use of this function should be guarded, especially...
authorTianyi Liang <tianyi-liang@uiowa.edu>
Wed, 2 Oct 2013 01:03:30 +0000 (20:03 -0500)
committerTianyi Liang <tianyi-liang@uiowa.edu>
Wed, 2 Oct 2013 01:05:18 +0000 (20:05 -0500)
commit5b8a3fe89cd4b10f7bdc69dd5b1a66ebcbb823db
tree91ea1f996e13b68be25ac0b9cdad0cabdea9a342tree
parent3c2fc39e3b8b53466705bfd82818c442f6eb22e5commit | diff
adds partial function substr. the use of this function should be guarded, especially for disequalities
src/parser/smt2/Smt2.g diff | blob | history
src/theory/strings/kinds diff | blob | history
src/theory/strings/theory_strings.cpp diff | blob | history
src/theory/strings/theory_strings_preprocess.cpp diff | blob | history
src/theory/strings/theory_strings_preprocess.h diff | blob | history
src/theory/strings/theory_strings_rewriter.cpp diff | blob | history
src/theory/strings/theory_strings_type_rules.h diff | blob | history
test/regress/regress0/strings/Makefile.am diff | blob | history
test/regress/regress0/strings/substr001.smt2 [new file with mode: 0644] blob