summaryrefslogtreecommitdiff
path: root/src/util/stats.cpp
AgeCommit message (Expand)Author
2012-09-22Separate public-facing and internal-facing interfaces to Statistics.Morgan Deters
2012-07-31Options merge. This commit:Morgan Deters
2012-07-16Support for having two SmtEngines with the same ExprManager.Morgan Deters
2012-07-07Various fixes to documentation---typos, some incomplete documentation fixed, ...Morgan Deters
2012-02-20portfolio mergeMorgan Deters
2011-09-02Merge from my post-smtcomp branch. Includes:Morgan Deters
2011-06-06Fix for Mac OS breakage (x86 didn't crash, but probably would, eventually, on...Morgan Deters
2011-04-01This commit is a merge from the "betterstats" branch, which:Morgan Deters
2010-10-04remove/shuffle some #include dependencies; fix some documentation; apply codi...Morgan Deters
2010-07-02re-generated comment headers of source filesMorgan Deters
2010-07-02* Added white-box TheoryEngine test that tests the rewriterMorgan Deters
2010-06-18Merging the statistics branch into the main trunk. I'll go over how to use th...Tim King
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback