index
:
~cnx/klee
this commit
1.0.x
1.1.x
1.2.x
1.3.x
1.4.x
2.0.x
2.1.x
2.2.x
2.3.x
3.0.x
master
psychic
svcomp
svcomp_32bit
KLEE fork for patch differentiation testing
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
tools
/
klee-stats
Age
Commit message (
Expand
)
Author
2017-10-04
Remove Autoconf/Makefile build system and adjust the TravisCI
Dan Liew
2017-01-16
[CMake] Rename "integrationtests" to "systemtests".
Dan Liew
2016-12-02
Fixed the issue of klee-stats not being copied to bin/
Cristian Cadar
2016-11-07
Implement a CMake based build system for KLEE.
Dan Liew
2016-02-23
Added missing copyright headers per klee/issue #301
Marko Dimjašević
2016-02-08
Fixed two spelling errors.
Marko Dimjašević
2014-11-13
tools: prepend DESTDIR when installing
Jiri Slaby
2014-07-21
Merge pull request #113 from antiAgainst/klee-stats
Cristian Cadar
2014-07-18
Refactor klee-stats and add simple line chart drawing functionality.
Lei Zhang
2014-01-09
Fix build system so that ktest-tool and klee-stats can be installed
Dan Liew
2012-10-09
Patch by Tomasz Kuchta that adds several useful options (--print-abs-times, -...
Cristian Cadar
2012-06-21
Patch by Paul Marinescu improving klee-stats: "klee-stats now reports avg and...
Cristian Cadar
2011-12-16
Fixed help message in klee-stats.
Cristian Cadar
2010-04-05
Fix some final objdir != src problems.
Daniel Dunbar
2009-07-26
Tweak
Daniel Dunbar
2009-06-09
Use env instead of hard coding python path.
Daniel Dunbar
2009-06-05
Fixed a division by zero triggered by straight-line code in klee-stats.
Cristian Cadar
2009-06-05
Moved PrintStats.py to tool/klee-stats/
Cristian Cadar
