summaryrefslogtreecommitdiff
path: root/README
AgeCommit message (Expand)Author
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