~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Collapse)	Author
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>
2016-07-09	Fix variable shifting behavior with different sizes	Martin Nowack
	Generated STP equality expressions have to be the same type. If a shift with different types as operands was used, therefore equality expressions of different width were generated. Beside avoiding the different sizes, this patch restores the original behavior to extract just the part involved in shifting and therefore should generate smaller expressions. Enable sdiv test case
2016-04-14	This test passes under 2.9, so it cannot be used as an XFAIL. We can enable ↵	Cristian Cadar
	it after the division bug is fixed.
2016-04-14	Added test case with the examples from ↵	Cristian Cadar
	https://github.com/klee/klee/issues/334, which triggers a bug in solver-optimize-divides, and which is for now expected to fail.