projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 69e31c1) | patch
Importing Chris's recent changes to CVC3's ValidityChecker into the compatibility...
authorMorgan Deters <mdeters@gmail.com>
Mon, 3 Oct 2011 18:24:57 +0000 (18:24 +0000)
committerMorgan Deters <mdeters@gmail.com>
Mon, 3 Oct 2011 18:24:57 +0000 (18:24 +0000)
commit40253236078988fecc3becd2619dd5ccad5e3077
tree76193586ff6093a68d158e869ff332d99f32e5b2tree
parent69e31c19cc566b6a536914e3a0360b54f6bd748acommit | diff
Importing Chris's recent changes to CVC3's ValidityChecker into the compatibility layer
src/compat/cvc3_compat.cpp diff | blob | history
src/compat/cvc3_compat.h diff | blob | history