~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Collapse)	Author
2017-07-24	more portable shebangs	Jörg Thalheim
	This is useful on systems like NixOS, where python3 is not in /usr/bin/python3 as well as for people using alternative ways to install python such as virtualenv/pyenv. Some scripts where already using '/usr/bin/env'. With this pull request it gets more consistent. For background information see also: https://github.com/systemd/systemd/pull/5816
2017-07-23	Remove klee-gcc	Martin Nowack

2016-02-23	Added missing copyright headers per klee/issue #301	Marko Dimjašević

2015-12-04	Fixing klee-clang to strip all flags not understood by llvm-link	Mate Soos

2015-06-16	added COVERAGE=0 to dockerfile, factored out coverage build flags to be only ↵	Timotej Kapus
	set when COVERAGE is, added the python server script to scripts
2015-03-12	Add klee-clang as alternative to klee-gcc	Martin Nowack

2014-09-15	Generate fake files for test cases	Martin Nowack

2013-12-08	Add chroot jail support in klee-replay.	Lei Zhang

2009-07-26	Tweak objdump script, kcachegrind has gotten stricter about its parsing.	Daniel Dunbar
	git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@77168 91177308-0d34-0410-b5e6-96231b3b80d8
2009-07-26	Ok, I caved. klee-gcc is useful, at least for now.	Daniel Dunbar
	git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@77136 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
2009-05-21	Initial KLEE checkin.	Daniel Dunbar
	- Lots more tweaks, documentation, and web page content is needed, but this should compile & work on OS X & Linux. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@72205 91177308-0d34-0410-b5e6-96231b3b80d8