Age | Commit message (Expand) | Author |
---|---|---|
2010-03-05 | * public/private code untangled (smt/smt_engine.h no longer #includes | Morgan Deters |
2010-02-22 | Re-committing revision 232 properly: | Morgan Deters |
2010-02-22 | undoing improperly-committed revision 232; will re-commit to get "svn blame" ... | Morgan Deters |
2010-02-22 | * Add virtual destructors to CnfStream, Theory, OutputChannel, and | Cesare Tinelli |
2010-02-19 | * Attribute infrastructure -- static design. Documentation is coming. | Morgan Deters |
2009-12-17 | support nonstandard, unconfigured builds (e.g., "./configure debug" followed ... | Morgan Deters |
2009-12-16 | + refactoring fixes for expr package based on code review (see bug #4) | Morgan Deters |
2009-12-11 | build fixes, configuration simplifications | Morgan Deters |