projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: be7371f) | patch
fix pre-registration of operator, previously committed; clean up theory engine code...
authorMorgan Deters <mdeters@gmail.com>
Tue, 28 Sep 2010 20:53:59 +0000 (20:53 +0000)
committerMorgan Deters <mdeters@gmail.com>
Tue, 28 Sep 2010 20:53:59 +0000 (20:53 +0000)
commitbad97d014fda8d06994067e18e90d0c96cff5bbf
tree032d8023920df69efccb10b3f35d43f3ccb8e2c6tree
parentbe7371f287d1f458a724d97fe66494720cff7d49commit | diff
fix pre-registration of operator, previously committed; clean up theory engine code and unit test
src/theory/theory_engine.cpp diff | blob | history
test/unit/theory/theory_engine_white.h diff | blob | history