projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 19cbae0) | patch
add leading zeros support for str.to.int
authorTianyi Liang <tianyi-liang@uiowa.edu>
Tue, 29 Apr 2014 20:32:38 +0000 (15:32 -0500)
committerTianyi Liang <tianyi-liang@uiowa.edu>
Tue, 29 Apr 2014 20:32:38 +0000 (15:32 -0500)
commitd4584c2a118be046e7597dca3d1bcf2eb6307920
treef2123068c8c2f247d3f9e3b77b39e451e7d8d952tree
parent19cbae0d4ee81907c7b3d060b0dfc91e9e8469d6commit | diff
add leading zeros support for str.to.int
src/theory/strings/theory_strings_preprocess.cpp diff | blob | history
src/theory/strings/theory_strings_rewriter.cpp diff | blob | history
test/regress/regress0/strings/Makefile.am diff | blob | history
test/regress/regress0/strings/leadingzero001.smt2 [new file with mode: 0644] blob