projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0b2f994) | 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:14:39 +0000 (22:14 -0500)
commit2f51aa2939a5c8d8f407b42559aa9abc8d4c3fb9
treeb5e3b936d8c0be302a45e9c72aa5b66d3d558a58tree
parent0b2f9943d55152e0958369083649dd71340864c9commit | 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