summaryrefslogtreecommitdiff
path: root/src/theory/theory_engine.cpp
AgeCommit message (Expand)Author
2010-06-04** Don't fear the files-changed list, almost all changes are in the **Morgan Deters
2010-06-03Fixes a bug where registration occurs before preregistration.Tim King
2010-06-01This commit is a fix for a bug in removeITEs(). The check that the then bran...Tim King
2010-05-29After blasting the disjuncts, TheoryEngine rewrite needs to reinvoke itself. ...Tim King
2010-05-28A few changes to the organization of TheoryEngine rewriting. A few bug fixes ...Tim King
2010-05-28Moving the ITE removal from CnfStream to TheoryEngine, which is a bit closer ...Tim King
2010-05-27Preregistration has been turned on. Highly experimental eager splitting suppo...Tim King
2010-04-01PARSER STUFF:Morgan Deters
2010-03-30Highlights of this commit are:Morgan Deters
2010-03-12* Added shutdown() functions to SmtEngine, TheoryEngine, PropEngine,Morgan Deters
2010-03-11naive rewriting to fix minisat invariant; rewrite x == x ==> TRUEMorgan Deters
2010-02-04remove -*- c++ -*- emacs tag from source files (it overrides cvc4-c++-editing...Morgan Deters
2010-02-04Added theory output channel interfaces and "Interrupted" exception.Morgan Deters
2009-12-17update-copyright.pl now retrieves and incorporates author information from re...Morgan Deters
2009-12-10cleanups, assert work, add a stubbed uf theory, fix driverMorgan Deters
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback