projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 84c4269) | patch
Added a warning to arithmetic for a known dio solver bug. Somehow the fix never made...
authorTim King <taking@cs.nyu.edu>
Mon, 25 Jun 2012 16:00:21 +0000 (16:00 +0000)
committerTim King <taking@cs.nyu.edu>
Mon, 25 Jun 2012 16:00:21 +0000 (16:00 +0000)
commit43b978c7f326cb8d34b5b87d9bdbe9955397d1ce
tree8e52fb48c2ddf8df79fe24b9b47593a1a4cf4d1etree
parent84c4269f3b9edb8de4134fe464dfc70679da2bb1commit | diff
Added a warning to arithmetic for a known dio solver bug. Somehow the fix never made it to trunk. Do not know how. The fix to the bug is pending the hunt for bug 363.
src/theory/arith/dio_solver.cpp diff | blob | history