projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 84da041) | patch
switch to total function str.to.int: maps invalid and non-digit strings to 0
authorTianyi Liang <tianyi-liang@uiowa.edu>
Tue, 18 Feb 2014 16:48:04 +0000 (10:48 -0600)
committerTianyi Liang <tianyi-liang@uiowa.edu>
Tue, 18 Feb 2014 16:48:04 +0000 (10:48 -0600)
commita51d41f2a267df30c7ef24de5b753ce73e0ac479
tree3bbf0450eb196604b9d1210dcef17c262d70aa87tree
parent84da041c64ef16b95f3028183e1a5a2c994d98eccommit | diff
switch to total function str.to.int: maps invalid and non-digit strings to 0
src/printer/smt2/smt2_printer.cpp diff | blob | history
src/smt/smt_engine.cpp 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_rewriter.cpp diff | blob | history