Age | Commit message (Expand) | Author |
---|---|---|
2012-07-07 | Various fixes to documentation---typos, some incomplete documentation fixed, ... | Morgan Deters |
2012-02-20 | portfolio merge | Morgan Deters |
2011-09-02 | Merge from my post-smtcomp branch. Includes: | Morgan Deters |
2011-06-06 | Fix for Mac OS breakage (x86 didn't crash, but probably would, eventually, on... | Morgan Deters |
2011-04-01 | This commit is a merge from the "betterstats" branch, which: | Morgan Deters |
2010-10-04 | remove/shuffle some #include dependencies; fix some documentation; apply codi... | Morgan Deters |
2010-07-02 | re-generated comment headers of source files | Morgan Deters |
2010-07-02 | * Added white-box TheoryEngine test that tests the rewriter | Morgan Deters |
2010-06-18 | Merging the statistics branch into the main trunk. I'll go over how to use th... | Tim King |