projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 382813c) | patch
Strings API escape sequences (#1245)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Wed, 18 Oct 2017 17:11:50 +0000 (12:11 -0500)
committerGitHub <noreply@github.com>
Wed, 18 Oct 2017 17:11:50 +0000 (12:11 -0500)
commit6f18015fdcb824f46b969882aa45187b46306e97
tree8d04dcb3fa263a359886aa156851d4dec3e2c7e8tree
parent382813c77025e05550876bf02f2782b72d6c8927commit | diff
Strings API escape sequences (#1245)

* Argument for strings class to specify whether to process escape sequences.

* Change default value on string constructor.

* Make CVC4::String::toString symmetric to the constructor for CVC4::String, document.

* Clang format.
src/parser/cvc/Cvc.g diff | blob | history
src/parser/smt2/Smt2.g diff | blob | history
src/printer/smt2/smt2_printer.cpp diff | blob | history
src/util/regexp.cpp diff | blob | history
src/util/regexp.h diff | blob | history