projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2107349) | patch
New C++ API: Rename TRY CATCH macros. (#6135)
authorAina Niemetz <aina.niemetz@gmail.com>
Fri, 12 Mar 2021 20:51:50 +0000 (12:51 -0800)
committerGitHub <noreply@github.com>
Fri, 12 Mar 2021 20:51:50 +0000 (20:51 +0000)
commit6e2f46f30fb7885cb2a5975bf028c05d694753ef
tree884fa643b0ab3b6619fa4581d6ddd07dff00d226tree
parent210734994076904f4770dfe7a1877bf3d2687f39commit | diff
New C++ API: Rename TRY CATCH macros. (#6135)
src/api/cvc4cpp.cpp diff | blob | history