projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fb4104e) | 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:59:00 +0000 (22:59 -0600)
commit0e7bfa71e7bea8b832df00d00332b42bf8bca60b
treece0ac17a6c67030f36b1fa662535a0e84233da29tree
parentfb4104e7c5a88741f9ffd55384198af31435df9ecommit | 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