adds regular expression range
authorTianyi Liang <tianyi-liang@uiowa.edu>
Mon, 21 Oct 2013 02:25:57 +0000 (21:25 -0500)
committerTianyi Liang <tianyi-liang@uiowa.edu>
Mon, 21 Oct 2013 02:25:57 +0000 (21:25 -0500)
commitb01018f14b54305a86463de45138dd4e4b417c2a
tree5817c9071745c2350bde4dc63762ce8cf290c3ac
parent7284a228b22fb82740faf2abdfe5cb3fc3894ae9
adds regular expression range
src/parser/smt2/Smt2.g
src/theory/strings/kinds
src/theory/strings/theory_strings_rewriter.cpp
src/theory/strings/theory_strings_type_rules.h
src/util/regexp.h
test/regress/regress0/strings/Makefile.am
test/regress/regress0/strings/fmf002.smt2 [new file with mode: 0644]