projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9e50f18) | 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:02:01 +0000 (10:02 -0600)
commit4b212907cbc414905898edbae41eb654670c1759
tree631ad706dbec6cf2406286c63ff20983f8cfed68tree
parent9e50f189118d5f8bb0f7eb54f19677e52f5a3852commit | 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