Age | Commit message (Expand) | Author |
2012-03-25 | moving minisat implementation into their respective directories (regular and bv) | Dejan Jovanović |
2011-09-02 | Merge from my post-smtcomp branch. Includes: | Morgan Deters |
2011-03-25 | This is a merge from the "theoryfixes+cdattrhash" branch. The changes | Morgan Deters |
2010-10-27 | "make dist" fixes; a distribution tarball can now build and pass tests. "make... | Morgan Deters |
2010-08-15 | (no commit message) | Dejan Jovanović |
2010-08-13 | Adding the changes to the original copy | Dejan Jovanović |
2010-08-13 | Removing old version of MiniSat for proper vendor import | Christopher L. Conway |
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-04-04 | * Node::isAtomic() now looks at an "atomic" attribute of arguments | Morgan Deters |
2010-03-03 | Some SAT stuff, not doing anything special yet, just to keep it in sync. | Dejan Jovanović |
2010-02-03 | adding an option to minisat to not do any debug checks/output | Dejan Jovanović |
2009-12-16 | Fixes to the build system: | Morgan Deters |
2009-12-10 | cleanups, assert work, add a stubbed uf theory, fix driver | Morgan Deters |
2009-12-09 | some fixes and organizational adjustments to assert code, parsers/lexers, and... | Morgan Deters |
2009-11-23 | fixups, file comments | Morgan Deters |
2009-11-20 | fixes to build/test system | Morgan Deters |
2009-11-19 | testing framework, configure fixes, incorporations from meeting, continued work | Morgan Deters |
2009-11-17 | from meeting | Morgan Deters |