projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3a67d64) | patch
This removes a bug for reading data that has been popped from the back of a vector...
authorTim King <taking@google.com>
Fri, 23 Oct 2015 22:43:27 +0000 (15:43 -0700)
committerTim King <taking@google.com>
Sat, 24 Oct 2015 02:14:18 +0000 (19:14 -0700)
commit39ee90e08fd60bfc31218a5dcfbd4dadf8845921
treeb7728388ac5579089262371a22eadc0eee0a30eftree
parent3a67d649379f20000b2416b02860aa057ac38607commit | diff
This removes a bug for reading data that has been popped from the back of a vector using a stale reference in the unconstrained simplifier.
src/theory/unconstrained_simplifier.cpp diff | blob | history