~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
2020-07-01	Use `unique_ptr` for solver in timing solver	Martin Nowack
2020-07-01	Separate constraint set and constraint manager	Martin Nowack
2020-06-29	Enable subsets for RandomPathSearcher	Timotej Kapus
2020-06-29	[PTree] Replace left/right with PointerIntPair	Timotej Kapus
2020-06-29	Revert "refactor PTree: use unique_ptr"	Timotej Kapus
2020-06-29	Implement fshr/fshl intrinsics	Alastair Reid
2020-06-25	Enforce fork/branch limits in branch() and fix double termination	Frank Busse
2020-06-25	fix Executor: initializeGlobalAliases	Julian Büning
2020-06-25	Executor: consolidate initialization of global objects	Julian Büning
2020-06-25	Executor: light refactoring of {allocate,initialize}GlobalObjects	Julian Büning
2020-06-25	Executor: split initializeGlobals	Julian Büning
2020-06-25	ExecutorUtil: assert that GlobalValue is already known	Julian Büning
2020-06-24	StatsTracker: initialize indexed stats when user searcher requires MD2U	Adrian Herrera
2020-06-24	print stateID with --debug-print-instructions	Frank Busse
2020-06-24	add ExecutionState IDs	Frank Busse
2020-06-24	slightly update ExecutionState, remove holes in struct	Frank Busse
2020-06-19	Correctly copy variadic arguments with byval attribute	Cristian Cadar
2020-06-19	Renamed loop index from "i" to "k" in executeCall() so that we can reuse "Ins...	Cristian Cadar
2020-04-30	Moved header files that were placed directly in include/klee/ into appropriat...	Cristian Cadar
2020-04-30	Removed include/klee/util and moved header files to appropriate places	Cristian Cadar
2020-04-30	Created include/klee/Core directory and moved appropriate files direc\	Cristian Cadar
2020-04-30	Move header files from lib/Expr to include/klee/Expr to eliminate includes us...	Cristian Cadar
2020-04-30	Removed the Internal directory from include/klee	Cristian Cadar
2020-04-08	readStringAtAddress: support pointer into objects	Marek Chalupa
2020-04-08	readStringAtAddress: use stringstream to obtain the string	Marek Chalupa
2020-03-22	StatsTracker: remove NumObjects, fix assignment of and always write ArrayHash...	Frank Busse
2020-03-02	stats: enforce table creation	Frank Busse
2020-02-19	Use `ref<>` for MemoryObject handling	Martin Nowack
2020-02-19	Use `ref<>` for UpdateNode	Martin Nowack
2020-02-19	Add `ReferenceCounter` struct utilized by ref<>	Martin Nowack
2020-01-19	Remove statistics limit from istats.	Martin Nowack
2020-01-13	Assume assembly.ll is local to the run.istats file	Martin Nowack
2019-12-13	Remove unnecessary std::move's that prevent copy elision	Cristian Cadar
2019-12-12	[Searchers] Remove weight from es, add nurs_depth	Timotej Kapus
2019-11-28	Move merging related code from Executor into MergingSearcher	Lukas Wölfer
2019-11-05	Core: Executor, remove unused variable	Jiri Slaby
2019-11-05	Mark all constant global memory objects as constant	Martin Nowack
2019-11-04	Remove the duplicated check for DebugInfoIntrinsic	Hui Peng
2019-10-31	Executor: fix missing default case in switch instruction	Frank Busse
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-10-08	Executor.h: remove defined functions without implementation	Frank Busse
2019-09-20	refactor PTree: use unique_ptr	Frank Busse
2019-09-20	refactor PTree: remove split(), add attach() method	Frank Busse
2019-09-03	Moved solver-related header files into a separate klee/Solver/ directory.	Cristian Cadar
2019-08-15	ExecutorTimers: move dumpStates/dumpPTree into Executor	Frank Busse
2019-08-14	Replace sprintf with snprintf throughout codebase	Cristian Cadar
2019-08-12	StatsTracker: switch from TRUNCATE to WAL journal mode	Frank Busse
2019-07-30	Use #include "klee/..." (instead of #include <klee/...>) consistently.	Cristian Cadar