projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fe9b227) | patch
added initial AX rules;
authorTianyi Liang <tianyi-liang@uiowa.edu>
Wed, 7 Jan 2015 16:02:01 +0000 (10:02 -0600)
committerTianyi Liang <tianyi-liang@uiowa.edu>
Wed, 7 Jan 2015 16:03:18 +0000 (10:03 -0600)
commit629bec2d208632c030d6ebeaafa7c3b145d699df
treee9e40fea36cfa3495c6d717cc261e4b26ad61e67tree
parentfe9b2276fac81030eb9803d4327f7458bae2576ecommit | diff
added initial AX rules;
fixed a bug for empty string in regex
src/theory/strings/theory_strings_rewriter.cpp diff | blob | history
src/theory/strings/theory_strings_rewriter.h diff | blob | history