projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f8a37b9) | patch
Replace lemma sending with EQ assertions. Fix a typo in hex_to_int function.
authorTianyi Liang <tianyi-liang@uiowa.edu>
Mon, 12 May 2014 03:13:17 +0000 (22:13 -0500)
committerTianyi Liang <tianyi-liang@uiowa.edu>
Mon, 12 May 2014 03:13:17 +0000 (22:13 -0500)
commit9db3cdd56bf88e6e34b86d91111310c973570195
tree709fdb927f01e1f886ad8d8565f8405f79c49170tree
parentf8a37b9ce3a88d211e252c02c5436fcfa360cb73commit | diff
Replace lemma sending with EQ assertions. Fix a typo in hex_to_int function.
src/theory/strings/theory_strings.cpp diff | blob | history
src/theory/strings/theory_strings.h diff | blob | history
src/util/regexp.cpp diff | blob | history
src/util/regexp.h diff | blob | history