~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Collapse)	Author
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
	Some tools prepend DESTDIR properly, some not. ktest-tool and klee-stats do not, so 'make install' chokes with an error: llvm[2]: Installing Release+Asserts /usr/bin/ktest-tool /usr/bin/install: cannot create regular file '/usr/bin/ktest-tool': Permission denied Signed-off-by: Jiri Slaby <jirislaby@gmail.com>
2014-07-21	Merge pull request #113 from antiAgainst/klee-stats	Cristian Cadar
	klee-stats refactoring and improvement by antiAgainst: "this includes changing from OptionParser to ArgumentParser, rewriting not-pythonic code, respecting PEP8, etc; Adding line chart drawing in klee-stats."
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
	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