projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1eaf6cf) | patch
New C++ API: Fix checks for mkTerm. (#2820)
authorAina Niemetz <aina.niemetz@gmail.com>
Tue, 29 Jan 2019 19:47:04 +0000 (11:47 -0800)
committerGitHub <noreply@github.com>
Tue, 29 Jan 2019 19:47:04 +0000 (11:47 -0800)
commitd4870775e67c7878c32c17f10b1217c14dc5869b
tree8e2bcd1a731eab54041724bb9310e1c7aaaf3e4ctree
parent1eaf6cf987fa1452528dc0598ca7235be735ba3bcommit | diff
New C++ API: Fix checks for mkTerm. (#2820)

This required fixing the OpTerm handling for mkTerm functions in the API.
examples/api/bitvectors-new.cpp diff | blob | history
examples/api/datatypes-new.cpp diff | blob | history
examples/api/extract-new.cpp diff | blob | history
src/api/cvc4cpp.cpp diff | blob | history
src/api/cvc4cpp.h diff | blob | history
src/api/cvc4cppkind.h diff | blob | history
src/expr/expr_manager_template.cpp diff | blob | history
test/unit/api/solver_black.h diff | blob | history