projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: aaa6a0b) | patch
found a bug in the initialization order of UF, EqualityEngine, and the UF strong...
authorMorgan Deters <mdeters@gmail.com>
Mon, 16 Jul 2012 15:52:36 +0000 (15:52 +0000)
committerMorgan Deters <mdeters@gmail.com>
Mon, 16 Jul 2012 15:52:36 +0000 (15:52 +0000)
commit25396f93b7df85c80a39ed207483e28a8c86ff26
treef271c1e856379810a14b4d0b476e716e8b6854eftree
parentaaa6a0b8d9807804a76db3eb6e9a218da55cf844commit | diff
found a bug in the initialization order of UF, EqualityEngine, and the UF strong solver; fixed
src/theory/uf/theory_uf.cpp diff | blob | history
src/theory/uf/theory_uf_strong_solver.cpp diff | blob | history