~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Expand)	Author
2020-07-01	Use constraint sets and separate metadata for timing solver invocation	Martin Nowack
2019-10-29	ExecutorTimers: refactor and move to support lib	Frank Busse
2019-10-29	ExecutorTimers: remove signalling, fix endless looping fork	Frank Busse
2019-08-15	ExecutorTimers: move dumpStates/dumpPTree into Executor	Frank Busse
2019-08-14	Replace sprintf with snprintf throughout codebase	Cristian Cadar
2019-03-15	Placed --max-time in the termination category	Cristian Cadar
2019-03-12	time: add double type for span multiplications	Frank Busse
2018-10-30	Base time API upon std::chrono	Frank Busse
2018-10-23	refactor klee_open_output_file to return std::unique_ptr	Julian Büning
2017-07-23	Remove support for LLVM < 3.4	Martin Nowack
2016-07-08	Use vector instead of set to add/remove states	Martin Nowack
2016-06-23	Use klee_message for timeout information	Andrea Mattavelli
2016-03-01	Documented default values for various options and improved the description of...	Cristian Cadar
2015-12-17	Refactoring: Moving klee_warning/_error functions to ErrorHandling in Support...	Martin Nowack
2014-05-29	Refactoring from std::ostream to llvm::raw_ostream	Martin Nowack
2013-12-05	Fix timer leak	Martin Nowack
2013-08-27	Port to LLVM 3.3	Martin Nowack
2011-11-29	Updates for LLVM 3.1.	Peter Collingbourne
2009-09-01	Update for LLVM ostream changes.	Daniel Dunbar
2009-07-25	(llvm up) Update for llvm::Value getName() change.	Daniel Dunbar
2009-05-21	Initial KLEE checkin.	Daniel Dunbar