~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Collapse)	Author
2014-01-09	Fix build system so that ktest-tool and klee-stats can be installed	Dan Liew
	under release build. The problem is that under release build the install command is told to strip symbols from the tools. It tries to do this for the python scripts and fails. This commit hacks this by requesting that symbols are not stripped from the python scripts.
2012-10-09	Patch by Tomasz Kuchta that adds several useful options (--print-abs-times, ↵	Cristian Cadar
	--print-rel-times, --precision) to klee-stats. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@165499 91177308-0d34-0410-b5e6-96231b3b80d8
2012-06-21	Patch by Paul Marinescu improving klee-stats: "klee-stats now reports avg ↵	Cristian Cadar
	and max memory consumption and states. A bug in the compare-by=<key> functionality has been fixed and the --compare-at=[<value>\|last] option has been added. Specifying a value reports all statistics at the point where <key> had value <value>; specifying 'last' reports at the largest <key> value common to all executions" git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@158948 91177308-0d34-0410-b5e6-96231b3b80d8
2011-12-16	Fixed help message in klee-stats.	Cristian Cadar
	git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@146741 91177308-0d34-0410-b5e6-96231b3b80d8
2010-04-05	Fix some final objdir != src problems.	Daniel Dunbar
	- PR4269. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@100396 91177308-0d34-0410-b5e6-96231b3b80d8
2009-07-26	Tweak	Daniel Dunbar
	git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@77154 91177308-0d34-0410-b5e6-96231b3b80d8
2009-06-09	Use env instead of hard coding python path.	Daniel Dunbar
	git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@73142 91177308-0d34-0410-b5e6-96231b3b80d8
2009-06-05	Fixed a division by zero triggered by straight-line code in klee-stats.	Cristian Cadar
	Added an error message when no directories are given. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@72966 91177308-0d34-0410-b5e6-96231b3b80d8
2009-06-05	Moved PrintStats.py to tool/klee-stats/	Cristian Cadar
	git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@72964 91177308-0d34-0410-b5e6-96231b3b80d8