projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2f8e471) | patch
add re.nostr for the empty regular expression; add re.allchar for the regular express...
authorTianyi Liang <tianyi-liang@uiowa.edu>
Sat, 1 Mar 2014 04:56:45 +0000 (22:56 -0600)
committerTianyi Liang <tianyi-liang@uiowa.edu>
Sat, 1 Mar 2014 04:56:45 +0000 (22:56 -0600)
commitab21bb2415b4e7fcbcf4d35076192ab4a065cbeb
treec551b66c42e6d535ec49c1227c47274eb6afc4f4tree
parent2f8e471556e6d0a5c10c9e3bfb99b2a5b54981dfcommit | diff
add re.nostr for the empty regular expression; add re.allchar for the regular expresssion containing all charactors
src/parser/smt2/Smt2.g diff | blob | history
src/printer/smt2/smt2_printer.cpp diff | blob | history
src/theory/strings/regexp_operation.cpp diff | blob | history
src/theory/strings/regexp_operation.h diff | blob | history
src/theory/strings/theory_strings_preprocess.cpp diff | blob | history
src/theory/strings/theory_strings_rewriter.cpp diff | blob | history
src/util/regexp.h diff | blob | history