~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Expand)	Author
2020-07-30	introduce --rng-initial-seed=<unsigned>	Frank Busse
2020-07-29	remove holes in Instruction-/FunctionInfoTable, add documentation	Frank Busse
2020-07-01	Clean-up and add documentation	Martin Nowack
2020-07-01	Remove state contructor with constraints	Martin Nowack
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-07-01	Move constraint implementation from header to cpp files	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-26	[FreeBSD] Assume always yes for installing packages as well	Martin Nowack
2020-06-26	Switch to a more recent version of SQLite in the CI	Cristian Cadar
2020-06-26	Revert to FreeBSD 12.1-STABLE (13.0-CURRENT has started running into issues)	Cristian Cadar
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-25	add simple unknown bitcast alias test from the original issue	Julian Büning
2020-06-25	add known bitcast test for comparison	Julian Büning
2020-06-25	regression test for unknown bitcast alias	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	Added test reported in https://github.com/klee/klee/issues/189 for byval vari...	Cristian Cadar
2020-06-19	Renamed Vararg.c to VarArg.c for consistency with the other var arg tests and...	Cristian Cadar
2020-06-19	Added test checking for correct alignment of variadic arguments	Cristian Cadar
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-06-19	Added test checking that KLEE correctly handles variadic arguments with the b...	Cristian Cadar
2020-06-17	remove cmake warning	Frank Busse
2020-06-06	[Module] Add testcase for inline asm lifting	Martin Nowack
2020-06-06	[Module] Disable lifting for inline asm resembling memory fences with return ...	Martin Nowack
2020-05-01	Add test case from #1257 to reproduce behaviour	Martin Nowack
2020-05-01	[Solver:STP] Fix handling of array names	Martin Nowack
2020-04-30	docker: install KLEE headers in system include path	Xiao Liang
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-20	Consistently define variable using notation VAR=value; fixed comment placement	Cristian Cadar
2020-04-20	Named jobs in Travis CI for better visualization of results	Cristian Cadar
2020-04-09	[posix-runtime] Improve model to handle full-path symbolic files	Timotej Kapus
2020-04-09	[posix-runtime] Add test for full path consistency for symbolic files	Timotej Kapus
2020-04-08	readStringAtAddress: support pointer into objects	Marek Chalupa