~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Collapse)	Author
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