git.libre-soc.org Git - cvc5.git/history - test/unit/util/stats

2013-12-11	Morgan Deters	Fix timer statistics to report correct time even on...	blob \| commitdiff \| raw
2013-04-02	Morgan Deters	Regenerated copyrights: canonicalized names, no emails	blob \| commitdiff \| raw \| diff to current
2013-04-02	Morgan Deters	update copyrights	blob \| commitdiff \| raw \| diff to current
2012-10-11	Morgan Deters	Standardizing copyright notice. Touches ALL source...	blob \| commitdiff \| raw \| diff to current
2012-09-22	Morgan Deters	Separate public-facing and internal-facing interfaces...	blob \| commitdiff \| raw \| diff to current
2011-09-02	Morgan Deters	Merge from my post-smtcomp branch. Includes:	blob \| commitdiff \| raw \| diff to current
2011-05-04	Morgan Deters	Stronger support for zero-performance-penalty output...	blob \| commitdiff \| raw \| diff to current
2011-02-28	Morgan Deters	Review of statistics code. Added lots of documentation...	blob \| commitdiff \| raw \| diff to current
2010-09-02	Morgan Deters	* add TimerStat statistic type	blob \| commitdiff \| raw \| diff to current