Age | Commit message (Expand) | Author |
---|---|---|
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 |