projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7ab9caa) | patch
Memory fix for congruence closure; affects many UF benchmarks, probably AX too.
authorMorgan Deters <mdeters@gmail.com>
Tue, 5 Apr 2011 18:31:38 +0000 (18:31 +0000)
committerMorgan Deters <mdeters@gmail.com>
Tue, 5 Apr 2011 18:31:38 +0000 (18:31 +0000)
commiteca82ddc05ff6e81592f7cceec60b0d3269bab5c
tree79a866c00e0b05c46f8e7a50ddee4029266f1d2etree
parent7ab9caadb0d56e7788c879b82944ad4a2485135acommit | diff
Memory fix for congruence closure; affects many UF benchmarks, probably AX too.
src/util/congruence_closure.h diff | blob | history