summaryrefslogtreecommitdiff
path: root/src/util/stats.h
AgeCommit message (Expand)Author
2012-02-20portfolio mergeMorgan Deters
2011-11-22More language bindings work:Morgan Deters
2011-10-04cvc3 compatibility layer; and another libantlr3c v3.4 incompatibility fixMorgan Deters
2011-09-23interface cleanup, java bindings workMorgan Deters
2011-09-21considerable bindings interface work, some improvements to buildMorgan Deters
2011-09-02Merge from my post-smtcomp branch. Includes:Morgan Deters
2011-05-23Merge from arrays2 branch.Morgan Deters
2011-04-02minor fixesMorgan Deters
2011-04-01minor bugfixes (fixes broken dynamic-library build from last night)Morgan Deters
2011-04-01This commit is a merge from the "betterstats" branch, which:Morgan Deters
2011-03-30Merged the branch sparse-tableau into trunk.Tim King
2011-03-15Merge from cudd branch. This mostly just adds support for linkingMorgan Deters
2011-03-08Clean up Theory base class as per code review bug #60; also fixes to CodeTime...Morgan Deters
2011-03-03fix for bug #244, "Segfault if file cannot be found and --stats is on"Morgan Deters
2011-02-28Review of statistics code. Added lots of documentation, and fixed an issue (...Morgan Deters
2010-11-19Merge from ufprop branch, including:Morgan Deters
2010-11-17add some stats to UF/CCMorgan Deters
2010-11-03Adds AverageStat to stats.h.Tim King
2010-10-09support for SMT-LIBv2 :named attributes, and attributes in general; zero-ary ...Morgan Deters
2010-10-03file header documentation regenerated with contributors names; no code modifi...Morgan Deters
2010-10-01replacement implementation for clock_gettime() on mac os x, build portability...Morgan Deters
2010-09-30fixed a number of problems with mac os x builds. build now works on mac os x...Morgan Deters
2010-09-02fix an error in TimerStatMorgan Deters
2010-09-02* add TimerStat statistic typeMorgan 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-29Update to stats.h is now back into the trunk. The code should compile once a...Tim King
2010-06-22Made ~Stat() virtual. Added some additional statistics. And added some docume...Tim King
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