projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Cleanup: use Assert rather than C assert. (#1052)
[cvc5.git] / src / util / statistics_registry.cpp
2017-08-22 Aina NiemetzCleanup: use Assert rather than C assert. (#1052) blob | commitdiff | raw
2017-07-07 Mathias PreinerUpdate copyright headers. blob | commitdiff | raw | diff to current
2017-05-12 Andres NotzliMake signal handlers safer blob | commitdiff | raw | diff to current
2016-04-20 PaulMengupdate from the master blob | commitdiff | raw | diff to current
2016-04-09 GuyMerge branch 'master' of https://github.com/CVC4/CVC4 blob | commitdiff | raw | diff to current
2016-04-04 Tim KingUpdating the copyright headers and scripts. blob | commitdiff | raw | diff to current
2016-01-09 Tim KingRemoving StatisticsRegistry's static functions current... blob | commitdiff | raw | diff to current
2015-12-15 Tim KingRefactoring Options Handler & Library Cycle Breaking blob | commitdiff | raw
2014-07-10 Kshitij BansalMerge remote-tracking branch 'origin/master' into segfa... blob | commitdiff | raw | diff to current
2014-07-01 Morgan DetersUpdate copyrights. blob | commitdiff | raw | diff to current
2014-04-01 Tim KingMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2014-03-26 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2014-03-11 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2014-03-11 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2014-02-21 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2014-02-21 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2014-02-20 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4 blob | commitdiff | raw | diff to current
2014-02-20 Kshitij Bansalportfolio: add stat to track time spent waiting for... blob | commitdiff | raw | diff to current
2013-12-15 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4 blob | commitdiff | raw | diff to current
2013-12-11 Morgan DetersFix timer statistics to report correct time even on... blob | commitdiff | raw | diff to current
2013-12-11 Morgan DetersFix timer statistics to report correct time even on... blob | commitdiff | raw | diff to current
2013-04-02 Morgan DetersRegenerated copyrights: canonicalized names, no emails blob | commitdiff | raw | diff to current
2013-04-02 Morgan Detersupdate copyrights blob | commitdiff | raw | diff to current
2013-01-28 Morgan DetersFixes for Win32 (closes bugs 488 and 489) blob | commitdiff | raw | diff to current
2013-01-28 Morgan DetersMerge branch '1.0.x' blob | commitdiff | raw | diff to current
2013-01-27 Morgan DetersMerge branch '1.0.x' blob | commitdiff | raw | diff to current
2013-01-24 Morgan DetersAdd win32 support (merge from mdeters/win32, with some... blob | commitdiff | raw | diff to current
2012-10-11 Morgan DetersStandardizing copyright notice. Touches **ALL** source... blob | commitdiff | raw | diff to current
2012-09-28 Morgan Deterssome fixes to build system blob | commitdiff | raw | diff to current
2012-09-28 Morgan DetersPublic interface review items: blob | commitdiff | raw | diff to current
2012-09-22 Morgan DetersSeparate public-facing and internal-facing interfaces... blob | commitdiff | raw | diff to current