summaryrefslogtreecommitdiff
path: root/README
AgeCommit message (Expand)Author
2013-11-27Some versioning in advance of the 1.3 release.Morgan Deters
2013-05-08Cutting release 1.2.1.2Morgan Deters
2013-04-03Some final minor changes before cutting 1.1.Morgan Deters
2012-11-30incorporating some comments from ClarkMorgan Deters
2012-10-11Standardizing copyright notice. Touches **ALL** sources, guys, sorry.. it'sMorgan Deters
2012-10-09some documentation fixesMorgan Deters
2012-10-06* Clean up some options documentationMorgan Deters
2012-10-03new README and INSTALL filesMorgan Deters
2012-09-22Separate 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-21don't require libboost_thread (its presence is detected at configure-time), a...Morgan Deters
2012-02-20portfolio mergeMorgan Deters
2012-02-16clarify wording in README, thanks for finding this Francois!Morgan Deters
2011-10-21add gcc version information to Configuration, and warn when building with v4....Morgan Deters
2011-09-02Merge from my post-smtcomp branch. Includes:Morgan Deters
2011-05-02fix for configureMorgan Deters
2011-03-15Merge from cudd branch. This mostly just adds support for linkingMorgan Deters
2010-11-18small changes to documentation; also, '\''make doc'\'' doesn't build dot grap...Morgan Deters
2010-10-29portability updates to build systemMorgan Deters
2010-10-27Changing dependency info in READMEChristopher L. Conway
2010-10-26Adding dependency info to READMEChristopher L. Conway
2009-11-24Partial parser for booleansChristopher L. Conway
2009-11-03commit of project structure including autotools supportMorgan Deters
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback