~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Collapse)	Author
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-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.
2013-08-13	Modified ktest-tool so that it is compatible with python3.	Dan Liew

2010-04-19	ktest-tool: Add --write-ints option, for printing 4-byte objects as integers.	Daniel Dunbar
	- Patch by Li Xuan Ji! git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@101774 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-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-05-29	Changed .ktest header from BOUT\n to KTEST. Old .bout files can still be read.	Cristian Cadar
	Increased KTEST version. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@72592 91177308-0d34-0410-b5e6-96231b3b80d8
2009-05-27	Some more updates for bout -> ktest renaming.	Daniel Dunbar
	git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@72471 91177308-0d34-0410-b5e6-96231b3b80d8
2009-05-23	Renamed klee-bout-tool to ktest-tool.	Cristian Cadar
	git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@72306 91177308-0d34-0410-b5e6-96231b3b80d8