projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 83a143b) | patch
roll back a small change that made arith fail some asserts
authorMorgan Deters <mdeters@gmail.com>
Fri, 2 Jul 2010 00:27:49 +0000 (00:27 +0000)
committerMorgan Deters <mdeters@gmail.com>
Fri, 2 Jul 2010 00:27:49 +0000 (00:27 +0000)
commitb3f0db7abcb7195fbf2afe191e6ab4012b4971a3
tree7c45f6920e3dfc4ee474157a015229e90e5e26b7tree
parent83a143b1dd78e5d7f07666fbec1362dd60348116commit | diff
roll back a small change that made arith fail some asserts
src/theory/theory_engine.cpp diff | blob | history