projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2771a78) | patch
minor fixes as a result of review of Chris's getType() rewrite; also fix some macros...
authorMorgan Deters <mdeters@gmail.com>
Fri, 29 Oct 2010 19:44:03 +0000 (19:44 +0000)
committerMorgan Deters <mdeters@gmail.com>
Fri, 29 Oct 2010 19:44:03 +0000 (19:44 +0000)
commit97954a7b32e4606e2f9d561f2692e99f3ab46bcd
treeb365799b4b00d055012d0aa7a6e4b712c5e85d48tree
parent2771a78471f42951a01a269e4ea8b993d3807533commit | diff
minor fixes as a result of review of Chris's getType() rewrite; also fix some macros to make various GCC versions happy
src/expr/node_manager.cpp diff | blob | history
src/include/cvc4_public.h diff | blob | history
src/main/main.cpp diff | blob | history