projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5796f93) | patch
Fix for model building with shared terms for arithmetic.
authorTim King <taking@cs.nyu.edu>
Fri, 19 Oct 2012 19:26:31 +0000 (19:26 +0000)
committerTim King <taking@cs.nyu.edu>
Fri, 19 Oct 2012 19:26:31 +0000 (19:26 +0000)
commit15dd90e7101ae199f15d4ed9976428c93e98cee0
tree89623cf093e5ec013a17d0737b0f6be048ee63b0tree
parent5796f9398adfab80860f17f4c99f143801689d56commit | diff
Fix for model building with shared terms for arithmetic.

(this commit was certified error- and warning-free by the test-and-commit script.)
src/theory/arith/theory_arith.cpp diff | blob | history
src/theory/theory.cpp diff | blob | history
src/theory/theory.h diff | blob | history