projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 16c4b88) | patch
Fix a serious bug in the preprocessor; problem inputs reported by Pantazis Deligiannis.
authorMorgan Deters <mdeters@cs.nyu.edu>
Thu, 8 Aug 2013 23:29:50 +0000 (19:29 -0400)
committerMorgan Deters <mdeters@cs.nyu.edu>
Thu, 8 Aug 2013 23:29:50 +0000 (19:29 -0400)
commit663c2df0d089b316254bb713078dee8889129609
tree4d7df6062f6028c9a17b6bfc2320e4ca4e175ec4tree
parent16c4b88bc10557e884943b9b3ea29f6e9a07c49fcommit | diff
Fix a serious bug in the preprocessor; problem inputs reported by Pantazis Deligiannis.
src/smt/smt_engine.cpp diff | blob | history