Age | Commit message (Expand) | Author |
---|---|---|
2011-09-02 | Merge from my post-smtcomp branch. Includes: | Morgan Deters |
2010-11-16 | SmtEngine now fails with a ModalException if --incremental is not enabled | Morgan Deters |
2010-11-15 | Pretty-printer infrastructure created (in src/printer) and SMT-LIBv2 printer | Morgan Deters |
2010-10-29 | portability updates to build system | Morgan Deters |
2009-12-17 | making config/mkbuilddir executable | Morgan Deters |
2009-12-17 | support nonstandard, unconfigured builds (e.g., "./configure debug" followed ... | Morgan Deters |