projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6d43ef8) | patch
Support char smt-lib syntax (#4188)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Wed, 1 Apr 2020 05:30:44 +0000 (00:30 -0500)
committerGitHub <noreply@github.com>
Wed, 1 Apr 2020 05:30:44 +0000 (22:30 -0700)
commit936e9c442443799c866a65c6ca3fbdcd3ac9aab8
treeb953269087d78261c6a5d81e4d32e4cce70d5f41tree
parent6d43ef828f5cc84f05b2c52a1991f3fb8505db84commit | diff
Support char smt-lib syntax (#4188)

Towards support for the strings standard.

Adds support to (_ char #x ... ) syntax for characters.
src/api/cvc4cpp.cpp diff | blob | history
src/api/cvc4cpp.h diff | blob | history
src/parser/smt2/Smt2.g diff | blob | history
test/regress/CMakeLists.txt diff | blob | history
test/regress/regress0/strings/char-representations.smt2 [new file with mode: 0644] blob
test/regress/regress0/strings/unicode-esc.smt2 diff | blob | history
test/unit/api/solver_black.h diff | blob | history