~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Collapse)	Author
2020-01-18	Fix handling of debug information for functions	Martin Nowack
	Tracking function locations separately correctly without prefixing it with a directory.
2020-01-13	Assume assembly.ll is local to the run.istats file	Martin Nowack
	Assuming a `klee-out-*` directory is moved to a different path location, subsequent analysis of the run.istats with KCachegrind focusing on assembly is impossible as the `assembly.ll` cannot be found. The reason is that the absolute path of the object file (assembly.ll) is hard-coded as part of the generated run.istats. To fix this, assume that the file is local to the `run.istats`.
2019-03-07	Renamed %llvmgcc and %llvmgxx to %clang and %clangxx respectively.	Cristian Cadar

2018-10-26	llvm5: test, add -disable-O0-optnone to -O0	Jiri Slaby
	Otherwise optimizations done in klee won't have any effect. Signed-off-by: Jiri Slaby <jirislaby@gmail.com>
2018-09-06	Use FileCheck and LINE instead of grep if possible	Martin Nowack
	As we do not support LLVM 2.9 anymore, we can use FileCheck LINE instead of hard coding line numbers.
2014-09-14	[Core] Fix a bug in how source file names were written in .istats files.	Daniel Dunbar
	- KCachegrind appears to expect the first function name to be preceeded by the name of the file it appears in. Otherwise, it will end up creating two different records for the function, one of which has no file name and won't have any statistics.
2014-09-14	[Module] Try harder to associate each instruction with source level debug info.	Daniel Dunbar
	- This makes KCachegrind output look nicer, as otherwise it assumes instructions without debug info were inlined and shows some message to that effect. - This does however we might be lying a bit about the source line that an instruction came from. - This also adds a test case for our istats output, yay!