about summary refs log tree commit diff homepage
path: root/tools/klee-stats
AgeCommit message (Expand)Author
2020-09-30klee-stats: fix behaviour for broken/empty DBsFrank Busse
2020-08-23klee-stats: check for a run.stats file in the klee-out directory, to prevent ...Jordy Ruiz
2020-03-31Fixed some messages, particularly Klee -> KLEECristian Cadar
2020-03-01[klee-stats] Grafana: Limit number of entries to query for column namesMartin Nowack
2020-03-01[klee-stats] Use the last row inserted instead of the row with highest Instru...Martin Nowack
2020-03-01[klee-stats] Refactor preparing and printing the tableMartin Nowack
2020-03-01[klee-stats] Check for existence of stats file for Grafana as wellMartin Nowack
2020-03-01[klee-stats] Do not crash if tabulate is not installed but requestedMartin Nowack
2020-03-01[klee-stats] Refactor writing table into own functionMartin Nowack
2020-03-01[klee-stats] Refactor CSV printout in own functionMartin Nowack
2020-03-01[klee-stats] Check if stats file exist before trying to open itMartin Nowack
2020-01-17Add support to provid a specific host address and port for grafana serverMartin Nowack
2020-01-17Extended the grafana dashboard.knm17
2019-08-08Read Klee's start time correctly in klee-statsGeorge Ordish
2019-04-12Fix handling of time in grafanaTimotej Kapus
2019-04-04klee-stats: add - to to-csv/grafana optionsFrank Busse
2019-04-04Add klee-stats test, fix microseconds bugTimotej Kapus
2019-04-04Clean klee-stats, StatsTracker and cmakeTimotej Kapus
2019-04-04Remove unused functionTimotej Kapus
2019-04-04Remove precisionTimotej Kapus
2019-04-04Remove compare-byTimotej Kapus
2019-04-04Remove sort-byTimotej Kapus
2019-04-04Remove unused -sample-interval optionTimotej Kapus
2019-04-04Remove linechart for klee-statsTimotej Kapus
2019-04-04Add add -grafana option to klee-statsTimotej Kapus
2019-04-04Change the .stats format into sqlite3Timotej Kapus
2018-08-29klee-stats: add TResolve(%) to --print-allFrank Busse
2018-03-01Store CexCache stats and then update klee-stats to use themDomenico Fabio Marino
2017-10-04Remove Autoconf/Makefile build system and adjust the TravisCIDan Liew
2017-01-16[CMake] Rename "integrationtests" to "systemtests".Dan Liew
2016-12-02Fixed the issue of klee-stats not being copied to bin/Cristian Cadar
2016-11-07Implement a CMake based build system for KLEE.Dan Liew
2016-02-23Added missing copyright headers per klee/issue #301Marko Dimjašević
2016-02-08Fixed two spelling errors.Marko Dimjašević
2014-11-13tools: prepend DESTDIR when installingJiri Slaby
2014-07-21Merge pull request #113 from antiAgainst/klee-statsCristian Cadar
2014-07-18Refactor klee-stats and add simple line chart drawing functionality.Lei Zhang
2014-01-09Fix build system so that ktest-tool and klee-stats can be installedDan Liew
2012-10-09Patch by Tomasz Kuchta that adds several useful options (--print-abs-times, -...Cristian Cadar
2012-06-21Patch by Paul Marinescu improving klee-stats: "klee-stats now reports avg and...Cristian Cadar
2011-12-16Fixed help message in klee-stats.Cristian Cadar
2010-04-05Fix some final objdir != src problems.Daniel Dunbar
2009-07-26TweakDaniel Dunbar
2009-06-09Use env instead of hard coding python path.Daniel Dunbar
2009-06-05Fixed a division by zero triggered by straight-line code in klee-stats.Cristian Cadar
2009-06-05Moved PrintStats.py to tool/klee-stats/Cristian Cadar
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-30 19:34:32 +0000