~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Collapse)	Author
2023-03-16	Integrate KDAlloc into KLEE	Daniel Schemmel

2020-04-30	Created include/klee/Core directory and moved appropriate files direc\	Cristian Cadar
	tly in lib/Core
2020-04-30	Removed the Internal directory from include/klee	Cristian Cadar

2020-02-19	Use `ref<>` for UpdateNode	Martin Nowack
	Remove additional reference counting as part of UpdateNodeList and UpdateNode. Simplifies code.
2019-07-30	Consolidated Expr-related include files into a single include/klee/Expr ↵	Cristian Cadar
	directory. This improves the organization of the code, and also makes it easier to reuse Expr outside KLEE.
2019-06-04	make endif guard naming consistent	Julian Büning

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-03	Marking resolve methods as const	Cristian Cadar

2018-10-03	Refactored AddressSpace::resolve() by creating a new function ↵	Cristian Cadar
	AddressSpace::checkPointerInObject() that is called in both the forward and the backward searches. This makes the code more modular and removes a large part of duplicated code and should also address the non-deterministic coverage in the resolve() function which affects Codecov reports.
2018-05-05	Factor out method to update state memory with process state	Martin Nowack

2009-06-14	Change AddressSpace::resolveOne to take a ConstantExpr directly (and to allow	Daniel Dunbar
	64-bit addresses). git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@73327 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