about summary refs log tree commit diff homepage
path: root/tools/klee-stats
AgeCommit message (Expand)Author
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-22 03:51:54 +0000