projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0f9b0dd) | patch
Update string kind names in new API (#4509)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Fri, 22 May 2020 04:40:44 +0000 (23:40 -0500)
committerGitHub <noreply@github.com>
Fri, 22 May 2020 04:40:44 +0000 (23:40 -0500)
commit026f7ae7bb3678281fb46defff4a1202c69d5f4e
tree46789ea4793e51f8f7154a7422c44d8d74457c48tree
parent0f9b0dd69bef6a108b1ccc185223733f1d8fa40dcommit | diff
Update string kind names in new API (#4509)

To match the smt2 Unicode standard. The internal ones are left unchanged for now.
src/api/cvc4cpp.cpp diff | blob | history
src/api/cvc4cppkind.h diff | blob | history
src/parser/cvc/Cvc.g diff | blob | history
src/parser/smt2/smt2.cpp diff | blob | history