projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6f8d2ea) | patch
Fix problem with incremental with portfolio. Fixes bug 420.
authorKshitij Bansal <kshitij@cs.nyu.edu>
Fri, 19 Oct 2012 19:10:42 +0000 (19:10 +0000)
committerKshitij Bansal <kshitij@cs.nyu.edu>
Fri, 19 Oct 2012 19:10:42 +0000 (19:10 +0000)
commit5796f9398adfab80860f17f4c99f143801689d56
treea60b0a7a439de5386ea038cafc87470035c0c05etree
parent6f8d2ea6e8b6a8ff43352740131486bee6b2da27commit | diff
Fix problem with incremental with portfolio. Fixes bug 420.

(this commit was certified error- and warning-free by the test-and-commit script.)
src/main/portfolio.cpp diff | blob | history