Age | Commit message (Expand) | Author |
---|---|---|
2012-10-11 | Standardizing copyright notice. Touches **ALL** sources, guys, sorry.. it's | Morgan Deters |
2012-09-19 | General subscriber infrastructure for NodeManager, as discussed in the | Morgan Deters |
2012-08-24 | * disallow internal uses of mkVar() (you have to mkSkolem()) | Morgan Deters |
2012-07-07 | Various fixes to documentation---typos, some incomplete documentation fixed, ... | Morgan Deters |
2012-06-15 | Fixes some assertion failures | Clark Barrett |
2012-06-14 | New substitutions implementation - fixes performance issue seen in nonclausal | Clark Barrett |
2012-06-14 | The "no-tears-in-competition-mode" commit. Change all (non-driver, non-SAT-s... | Morgan Deters |
2012-06-12 | Fixed fuzzing bug | Clark Barrett |
2012-06-11 | Fixed bug 352 | Clark Barrett |
2012-06-06 | Fixed assertion failures | Clark Barrett |
2012-06-05 | More clean-up | Clark Barrett |
2012-06-05 | Fixed a performance issue with unconstrained simplifier | Clark Barrett |
2012-06-05 | Adding missing files... | Clark Barrett |