Age | Commit message (Expand) | Author |
---|---|---|
2014-01-02 | Update copyright year. | Morgan Deters |
2013-02-16 | Some cleanup and copyright updating | 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 |