Age | Commit message (Expand) | Author |
2011-10-13 | fix make dist | Morgan Deters |
2011-10-13 | Interruption, time-out, and deterministic time-out ("resource-out") features. | Morgan Deters |
2011-03-15 | Merge from cudd branch. This mostly just adds support for linking | Morgan Deters |
2010-08-15 | (no commit message) | Dejan Jovanović |
2010-07-04 | make dist && make distcheck functional, other fixes | Morgan Deters |
2010-07-03 | With this commit come a number of changes to build system to support | Morgan Deters |
2010-06-15 | fix last commit gcc options (-wunknown-pragmas ==> -Wno-unknown-pragmas) | Morgan Deters |
2010-06-15 | remove warnings about unknown #pragma GCC diagnostic on older compilers | Morgan Deters |
2010-05-13 | Minor refactorings to PropEngine, SatSolver | Christopher L. Conway |
2010-04-04 | * Node::isAtomic() now looks at an "atomic" attribute of arguments | Morgan Deters |
2010-02-02 | Switched cnf conversion to go through CnfStream. | Tim King |
2009-12-16 | Fixes to the build system: | Morgan Deters |
2009-12-09 | some fixes and organizational adjustments to assert code, parsers/lexers, and... | Morgan Deters |
2009-12-07 | big check-in of various fixes and adjustments | Morgan Deters |
2009-11-23 | fixups, file comments | Morgan Deters |
2009-11-19 | testing framework, configure fixes, incorporations from meeting, continued work | Morgan Deters |
2009-11-17 | from meeting | Morgan Deters |