Age | Commit message (Expand) | Author |
---|---|---|
2012-10-11 | Standardizing copyright notice. Touches **ALL** sources, guys, sorry.. it's | Morgan Deters |
2012-09-28 | some fixes to build system | Morgan Deters |
2011-09-29 | build system fixes | Morgan Deters |
2011-09-02 | Merge from my post-smtcomp branch. Includes: | Morgan Deters |
2011-05-02 | another small fix | Morgan Deters |
2011-05-02 | fix broken build; sorry, all! | Morgan Deters |
2011-04-25 | Weekend work. The main points: | Morgan Deters |
2011-03-30 | Add Valuation::getSatValue() so that theories can access the current | Morgan Deters |
2011-03-25 | This is a merge from the "theoryfixes+cdattrhash" branch. The changes | Morgan Deters |
2010-11-19 | Merge from ufprop branch, including: | Morgan Deters |
2010-10-03 | file header documentation regenerated with contributors names; no code modifi... | Morgan Deters |
2010-10-01 | replacement implementation for clock_gettime() on mac os x, build portability... | Morgan Deters |