~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Collapse)	Author
2020-04-30	Removed the Internal directory from include/klee	Cristian Cadar

2019-03-21	drop support for LLVM <= 3.7	Julian Büning

2018-10-26	llvm7: adapt to new openFileForWrite	Jiri Slaby
	In llvm commit 03bcb2143b5c, OpenFlags were split and openFileForWrite accepts one more parameter. Fortunately, openFileForWrite now defaults to F_None, so we remove the parameter completely from llvm 3.7 and later. Signed-off-by: Jiri Slaby <jirislaby@gmail.com>
2018-10-23	refactor klee_open_output_file to return std::unique_ptr	Julian Büning
	and introduce klee_open_compressed_output_file with similar behavior along some other minor improvements
2018-05-22	CompressionStream: fix sporadic segfaults (uninitialised avail_in)	Frank Busse

2017-10-03	Silenced some warnings about unused variables when assertions are disabled.	Cristian Cadar

2017-07-31	Fix build for FreeBSD.	Tatiana Tikhomirova
	On FreeBSD <sys/capabilities.h> is present in libc, so we don't require libcap there. Close and write functions are located in <unistd.h>.
2017-07-23	Remove support for LLVM < 3.4	Martin Nowack
	Request LLVM 3.4 as minimal requirement for KLEE
2017-05-24	llvm: make KLEE compile against LLVM 3.5 and 3.6	Richard Trembecký
	Based on work by @ccadeptic23 and @delcypher. Formatting fixed by @snf. Fix compiler warning by @martijnthe. Further fixes by @mchalupa. Refactored, so that changes can be reviewed -- no massive changes in whitespace and in the surrounding code. Signed-off-by: Jiri Slaby <jirislaby@gmail.com>
2016-07-08	Support gzip-based compression of raw_outstreams	Martin Nowack
	Provide initial zlib-based compression support for raw_outstreams. Replacing llvm::raw_fd_outstreams with compressed_fd_outstreams automatically compresses data in gzip format before writing to file. Options added: * --compress-log to compress all query log files (e.g. .pc, .smt2) on the fly. Every query log file gets extended with .gz. * --debug-compress-instructions to compress logfile for instruction stream on the fly.