~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Collapse)	Author
2020-12-04	Move all overflows from the vector instructions tests into a new file, as ↵	Cristian Cadar
	the overflow behaviour is different in LLVM 11.
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-08-01	test: remove geq-llvm-3.4	Julian Büning

2017-07-19	Implement basic support for vectorized instructions.	Dan Liew
	We use LLVM's Scalarizer pass to remove most vectorized code so that the Executor only needs to support the InsertElement and ExtractElement instructions. This pass was not available in LLVM 3.4 so to support that LLVM version the pass has been back ported. To check that the Executor is not receiving vector operand types that it can't handle assertions have been added. There are a few limitations to this implementation. * The InsertElement and ExtractElement index cannot be symbolic. * There is no support for LLVM < 3.4.