projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 753a072) | patch
comment fix as per this morning's meeting; also, don't theory-rewrite operators ...
authorMorgan Deters <mdeters@gmail.com>
Tue, 28 Sep 2010 16:47:50 +0000 (16:47 +0000)
committerMorgan Deters <mdeters@gmail.com>
Tue, 28 Sep 2010 16:47:50 +0000 (16:47 +0000)
commit6f6d864effd21db0f4428da78d9010c164cd669f
tree0c8f5777b6c45e99dfffd704c43db916c0bb8294tree
parent753a072c542c1c254d7c6adbf10e091ba585ede5commit | diff
comment fix as per this morning's meeting; also, don't theory-rewrite operators (resolves bug #198)
src/theory/theory_engine.cpp diff | blob | history