projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: aad6d72) | patch
Fixed a bug in partial_model.cpp where the data was immediately deallocated before...
authorTim King <taking@cs.nyu.edu>
Tue, 1 Jun 2010 16:39:02 +0000 (16:39 +0000)
committerTim King <taking@cs.nyu.edu>
Tue, 1 Jun 2010 16:39:02 +0000 (16:39 +0000)
commit249f3ff2221d88c28faf17e56846009326455606
treefc6160a300c23a40478c900b1782fc018833fee5tree
parentaad6d724f09fe523d7c1d53e2db959801f28fc3ecommit | diff
Fixed a bug in partial_model.cpp where the data was immediately deallocated before being used.  Fixed a bug in node_builder.h's crop where a pointer is dereferenced after a realloc call.
src/expr/node_builder.h diff | blob | history
src/theory/arith/partial_model.cpp diff | blob | history