~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Collapse)	Author
2020-07-01	Use constraint sets and separate metadata for timing solver invocation	Martin Nowack
	Decouple ExecutionState from TimingSolver Instead of providing an execution state to the timing solver use a set of constraints and an additional object for metadata. Fixes: * correct accounting of metadata to a specific state * accounting of all solver invocations (e.g. solver-getRange was not accounted) * allows to invoke the solver without a state (avoids costly copying of states/constraints)
2019-10-29	ExecutorTimers: refactor and move to support lib	Frank Busse
	- moves timer handling from Executor into support lib - introduces TimerGroup, removes TimerInfo/WriteStatsTimer/UpdateReachableTimer/WriteIStatsTimer classes - removes ExecutorTimers.cpp and ExecutorTimerInfo.h - removes -max-instruction-time flag (see #1114)
2019-10-29	ExecutorTimers: remove signalling, fix endless looping fork	Frank Busse
	- adds -timer-interval threshold for timer checks - fixes #831
2019-08-15	ExecutorTimers: move dumpStates/dumpPTree into Executor	Frank Busse
	* creates two new methods: dumpStates, dumpPTree
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
	This should not change the behaviour of KLEE and mimics the old API. - functions moved from util into time namespace - uses time points and time spans instead of double - CLI arguments now have the form "3h5min8us" Changed command line parameters: - batch-time (double to string) - istats-write-interval (double to string) - max-instruction-time (double to string) - max-solver-time (double to string) - max-time (double to string) - min-query-time-to-log (double to string) - seed-time (double to string) - stats-write-interval (double to string) - uncovered-update-interval (double to string) - added: log-timed-out-queries (replaces negative max-solver-time)
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
2017-07-23	Remove support for LLVM < 3.4	Martin Nowack
	Request LLVM 3.4 as minimal requirement for KLEE
2016-07-08	Use vector instead of set to add/remove states	Martin Nowack
	Deterministic adding/removing of states.
2016-06-23	Use klee_message for timeout information	Andrea Mattavelli

2016-03-01	Documented default values for various options and improved the description ↵	Cristian Cadar
	of some.
2015-12-17	Refactoring: Moving klee_warning/_error functions to ErrorHandling in ↵	Martin Nowack
	Support directory
2014-05-29	Refactoring from std::ostream to llvm::raw_ostream	Martin Nowack
	According to LLVM: lightweight and simpler implementation of streams.
2013-12-05	Fix timer leak	Martin Nowack

2013-08-27	Port to LLVM 3.3	Martin Nowack
	Major changes are: - Switching to llvm-link to build archive files - Use GetMallocUsage instead of GetTotalMemoryUsage (be aware of bug in LLVM 3.3 http://llvm.org/bugs/show_bug.cgi?id=16847) - intrinsic library functions like memcpy/mov/set use weak linkage to be replaced by e.g. uclibc functions - rewrote linking with library - enhanced MemoryLimit test case to check if mallocs were successful
2011-11-29	Updates for LLVM 3.1.	Peter Collingbourne
	git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@145365 91177308-0d34-0410-b5e6-96231b3b80d8
2009-09-01	Update for LLVM ostream changes.	Daniel Dunbar
	- Includes patch by Michael Stone! git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@80665 91177308-0d34-0410-b5e6-96231b3b80d8
2009-07-25	(llvm up) Update for llvm::Value getName() change.	Daniel Dunbar
	git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@77049 91177308-0d34-0410-b5e6-96231b3b80d8
2009-05-21	Initial KLEE checkin.	Daniel Dunbar
	- Lots more tweaks, documentation, and web page content is needed, but this should compile & work on OS X & Linux. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@72205 91177308-0d34-0410-b5e6-96231b3b80d8