projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6470699) | patch
Fix bug 512: an assertion failure only appearing with clang on Mac OS, due to imprope...
authorMorgan Deters <mdeters@cs.nyu.edu>
Tue, 21 May 2013 22:39:33 +0000 (18:39 -0400)
committerMorgan Deters <mdeters@cs.nyu.edu>
Tue, 21 May 2013 22:58:25 +0000 (18:58 -0400)
commit7709fff002e3345bd727eaef2677e28830efb84d
treef1faacd0d5595e63d8876b3136b72b60aa4fbd58tree
parent6470699ee1c57d2843b330569bc02933222b631dcommit | diff
Fix bug 512: an assertion failure only appearing with clang on Mac OS, due to improper ITE removal in quantifier instantiations.
src/theory/theory_engine.cpp diff | blob | history
src/util/ite_removal.cpp diff | blob | history
test/regress/regress0/Makefile.am diff | blob | history
test/regress/regress0/bug512.minimized.smt2 [new file with mode: 0644] blob