Age | Commit message (Expand) | Author |
2012-07-31 | Options merge. This commit: | Morgan Deters |
2012-06-13 | Fixed whitespace warning on Makefile. | Tim King |
2012-03-28 | Some renaming and refactoring in SAT | Dejan Jovanović |
2012-03-26 | Global registry of SAT solvers, where they are registered at compile time. Th... | Dejan Jovanović |
2012-03-26 | More cleaning up. | Dejan Jovanović |
2012-03-25 | sat_module.h,cpp -> sat_solver.h,cpp (as intended) | Dejan Jovanović |
2012-03-25 | sat.h,cpp -> theory_proxy.h,cpp (this is what it defines) | Dejan Jovanović |
2012-02-25 | Refactored CnfStream to work with the bv theory Bitblaster: | Liana Hadarean |
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 |