| Age | Commit message (Expand) | Author |
|---|
| 2016-10-01 | Removing the throw specifiers from Result. | Tim King |
| 2016-10-01 | Removing the throw specifiers from SExpr. | Tim King |
| 2016-04-03 | Updating the copyright headers and scripts. | Tim King |
| 2016-01-05 | Moving sexpr.{cpp,h,i} from expr/ back into util/. | Tim King |
| 2015-12-14 | Refactoring Options Handler & Library Cycle Breaking | Tim King |
| 2014-07-01 | Update copyrights. | Morgan Deters |
| 2013-04-02 | Regenerated copyrights: canonicalized names, no emails | Morgan Deters |
| 2013-04-01 | update copyrights | Morgan Deters |
| 2013-03-26 | Fixes for warnings from clang++, from -std=gnu++0x, from swig, and from javac | Morgan Deters |
| 2012-11-30 | Changes to SExpr to accept autoconversion from bool and const char*. Adding a... | Tim King |
| 2012-10-11 | Standardizing copyright notice. Touches **ALL** sources, guys, sorry.. it's | Morgan Deters |
| 2012-09-28 | Public interface review items: | Morgan Deters |
| 2012-09-22 | Separate public-facing and internal-facing interfaces to Statistics. | Morgan Deters |
| 2012-09-20 | some bugfixes that come as a result of debugging some CASCADE/C stuff.. | Morgan Deters |
| 2012-08-07 | small fixes | Dejan Jovanović |
| 2012-07-18 | removing output operator for SExprTypes, which is never used (and SExprTypes ... | Morgan Deters |
| 2012-07-17 | SMT-LIBv2 compliance updates: | Morgan Deters |
| 2012-05-09 | fix an issue which breaks language bindings (so this commit fixes debian nigh... | Morgan Deters |
| 2012-04-13 | Fix SExpr name qualification for swig, and #include integer and rational head... | Morgan Deters |
| 2012-04-12 | Adds an operator<< to SExpr::SexprTypes. This fixes bug 317. In debug builds,... | Tim King |
| 2012-04-06 | * Fix ITEs and functions in CVC language printer. | Morgan Deters |
| 2011-09-02 | Merge from my post-smtcomp branch. Includes: | Morgan Deters |
| 2010-10-10 | additional model gen and SMT-LIBv2 compliance work: (get-assignment) now supp... | Morgan Deters |
| 2010-10-05 | parser and core support for SMT-LIBv2 commands get-info, set-option, get-opti... | Morgan Deters |
| 2010-10-04 | remove/shuffle some #include dependencies; fix some documentation; apply codi... | Morgan Deters |
| 2010-07-03 | With this commit come a number of changes to build system to support | Morgan Deters |
| 2010-07-02 | re-generated comment headers of source files | Morgan Deters |
| 2010-06-18 | Merging the statistics branch into the main trunk. I'll go over how to use th... | Tim King |
| 2010-06-04 | ** Don't fear the files-changed list, almost all changes are in the ** | Morgan Deters |
| 2010-05-04 | Adding general support for SMT2 set-info command | Christopher L. Conway |
