projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9590156) | patch
fix for bug 370.
authorDejan Jovanović <dejan.jovanovic@gmail.com>
Wed, 19 Sep 2012 20:06:27 +0000 (20:06 +0000)
committerDejan Jovanović <dejan.jovanovic@gmail.com>
Wed, 19 Sep 2012 20:06:27 +0000 (20:06 +0000)
commit26da597e228537d78d306676b4b79e9b3703900d
tree551ab8b61c011a624ad0ae92cfcb930c64ef5948tree
parent95901566948b3da00e8dea6a9c022fe027a2ea92commit | diff
fix for bug 370.
some internal nodes in eq engine were treated as constants incorrectly
src/theory/uf/equality_engine.cpp diff | blob | history