Age | Commit message (Expand) | Author |
2017-07-03 | Update README for 1.5 release (#182) | Andres Nötzli |
2017-06-30 | Updated NEWS, README, RELEASE-NOTES. | Clark Barrett |
2014-06-19 | Versioning preparation. | Morgan Deters |
2013-12-17 | some config changes: new --bsd option, readline gives warning, default build ... | Morgan Deters |
2013-11-27 | Some versioning in advance of the 1.3 release. | Morgan Deters |
2013-05-08 | Cutting release 1.2.1.2 | Morgan Deters |
2013-04-03 | Some final minor changes before cutting 1.1. | Morgan Deters |
2012-11-30 | incorporating some comments from Clark | Morgan Deters |
2012-10-11 | Standardizing copyright notice. Touches **ALL** sources, guys, sorry.. it's | Morgan Deters |
2012-10-09 | some documentation fixes | Morgan Deters |
2012-10-06 | * Clean up some options documentation | Morgan Deters |
2012-10-03 | new README and INSTALL files | Morgan Deters |
2012-09-22 | Separate public-facing and internal-facing interfaces to Statistics. | Morgan Deters |
2012-08-29 | * Numerous documentation fixes (fix doxygen warnings, add missing documentati... | Morgan Deters |
2012-02-21 | don't require libboost_thread (its presence is detected at configure-time), a... | Morgan Deters |
2012-02-20 | portfolio merge | Morgan Deters |
2012-02-16 | clarify wording in README, thanks for finding this Francois! | Morgan Deters |
2011-10-21 | add gcc version information to Configuration, and warn when building with v4.... | Morgan Deters |
2011-09-02 | Merge from my post-smtcomp branch. Includes: | Morgan Deters |
2011-05-02 | fix for configure | Morgan Deters |
2011-03-15 | Merge from cudd branch. This mostly just adds support for linking | Morgan Deters |
2010-11-18 | small changes to documentation; also, '\''make doc'\'' doesn't build dot grap... | Morgan Deters |
2010-10-29 | portability updates to build system | Morgan Deters |
2010-10-27 | Changing dependency info in README | Christopher L. Conway |
2010-10-26 | Adding dependency info to README | Christopher L. Conway |
2009-11-24 | Partial parser for booleans | Christopher L. Conway |
2009-11-03 | commit of project structure including autotools support | Morgan Deters |