Age | Commit message (Expand) | Author |
---|---|---|
2016-04-20 | update from the master | PaulMeng |
2014-01-02 | Update copyright year. | Morgan Deters |
2013-12-05 | Script fixes; when determining authorship of source files, don't count copyri... | Morgan Deters |
2013-04-02 | Fix get-authors script to not extract email addresses, canonicalize names, ad... | Morgan Deters |
2013-02-04 | fixed files with DOS newlines; fixed contrib/ scripts to use git | Morgan Deters |
2011-03-15 | Merge from cudd branch. This mostly just adds support for linking | Morgan Deters |
2010-02-25 | * src/expr/node.h: add a copy constructor. Apparently GCC doesn't | Morgan Deters |
2010-02-22 | * configure.ac: Remove doc/ from search path for Makefile.ams | Morgan Deters |
2009-12-17 | update-copyright.pl now retrieves and incorporates author information from re... | Morgan Deters |