~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Collapse)	Author
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-07-04	Fix compiler warnings if assertions are disabled	Martin Nowack

2018-05-15	Implemented incomplete merging	Lukas Wölfer

2017-11-30	Implemented bounded merging functionality	Lukas Wölfer

2017-10-15	Fixed assert in BFSSearcher that does not hold as part of interleaved searcher	Julian Büning

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

2017-08-04	Removed merging searchers	Lukas Wölfer

2017-07-23	Remove support for LLVM < 3.4	Martin Nowack
	Request LLVM 3.4 as minimal requirement for KLEE
2017-05-24	Remove redundant KLEE prefix while logging	Jörg Thalheim

2016-11-19	Merge branch 'fix_bfs2' of https://github.com/MartinNowack/klee into ↵	Cristian Cadar
	MartinNowack-fix_bfs2
2016-11-09	Fix BFS searcher	Martin Nowack
	For performance reasons, if KLEE branches, one state is reused and it is progressed by adding new constraints. Make sure both new states end up at the end of the BFS searcher queue.
2016-11-08	add nicer error messages for --use-merge and add explanation why it ↵	Hoang M. Le
	currently cannot be used with random-path
2016-09-26	Modified logging information to steer the usage of klee_message, ↵	Andrea Mattavelli
	klee_warning, and klee_error
2016-07-08	Use vector instead of set to add/remove states	Martin Nowack
	Deterministic adding/removing of states.
2016-07-08	IterativeDeepeningTimeSearcher: Fix using wrong iterator	Martin Nowack

2015-12-17	Refactoring: Moving klee_warning/_error functions to ErrorHandling in ↵	Martin Nowack
	Support directory
2014-09-14	[LLVM3.5] Update for move of CFG.h into IR.	Daniel Dunbar
	- Mostly fixed by removing unnecessary references.
2014-09-14	[LLVM3.5] Update for CallSite.h move into IR/.	Daniel Dunbar

2014-05-29	Refactoring from std::ostream to llvm::raw_ostream	Martin Nowack
	According to LLVM: lightweight and simpler implementation of streams.
2014-04-24	Removed ununsed Executor field in WeightedRandomSearcher to silence	Dan Liew
	clang warning.
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
2013-07-23	BFS searcher.	Lei Zhang

2010-07-15	Reduce variable shadowing.	Daniel Dunbar
	git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@108405 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-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