~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Expand)	Author
2017-05-24	llvm: make KLEE compile against LLVM 3.5 and 3.6	Richard Trembecký
2016-08-06	Fix to #445	Andrea Mattavelli
2016-07-08	Support gzip-based compression of raw_outstreams	Martin Nowack
2016-03-23	Refactoring of conditional flush into own function.	Martin Nowack
2016-03-23	Fix comment + Clang Formatting	Martin Nowack
2016-03-23	Add option to log partial solver queries before calling it	Martin Nowack
2014-09-14	Fix compilation error due to change in raw_fd_ostream for LLVM3.5	Dan Liew
2014-05-29	Refactoring from std::ostream to llvm::raw_ostream	Martin Nowack
2013-08-23	In QueryLoggingSolver call flush() on std::ofstream so that queries	Dan Liew
2013-08-06	Methods getConstraintLog() and setTimeout() made virtual and moved from STPSo...	Hristina Palikareva
2013-01-02	Forgot to add QueryLoggingSolver in patch 171387 from Tomasz Kuchta.	Cristian Cadar