projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bd9eb72) | patch
ensure uf/congruence closure debugging stuff isn't called in production builds
authorMorgan Deters <mdeters@gmail.com>
Tue, 14 Sep 2010 03:22:51 +0000 (03:22 +0000)
committerMorgan Deters <mdeters@gmail.com>
Tue, 14 Sep 2010 03:22:51 +0000 (03:22 +0000)
commitd37cfff40c4e72f476b3ee5c1eb2c0f9790fcf00
tree7d5b2023783e4612b62bb1ed8e2bc0735187d818tree
parentbd9eb727cd4897a8dbb80ea730082886ce1c18e4commit | diff
ensure uf/congruence closure debugging stuff isn't called in production builds
src/theory/uf/morgan/theory_uf_morgan.cpp diff | blob | history
src/util/congruence_closure.h diff | blob | history