~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Expand)	Author
2023-03-26	fix unused variables warning	Daniel Schemmel
2023-03-23	Remove model_version from the POSIX runtime, as we have never used it.	Cristian Cadar
2023-03-17	Fix building of runtime library and klee-replay	Martin Nowack
2023-03-17	[MemSan] Mark memory objects modified by syscalls as initialised	Martin Nowack
2021-04-18	klee-replay: Fix -Wformat-truncation warning	Lukas Zaoral
2019-08-15	replace fprintf with fputs/fputc	Frank Busse
2019-08-14	Delete functions delete_file() and delete_dir() which are not needed now that...	Cristian Cadar
2019-08-14	Replace sprintf with snprintf throughout codebase	Cristian Cadar
2019-08-14	Create all files in the replay directory and chdir to this directory before e...	Cristian Cadar
2019-08-14	Added an option to klee-replay to keep replay directory	Cristian Cadar
2019-08-14	Cleaned up messages emitted by klee-replay, and prefixed them all with "KLEE-...	Cristian Cadar
2019-08-14	Changed klee-replay to create a temporary directory with a random name in /tm...	Cristian Cadar
2019-04-02	Fix klee-replay tool on FreeBSD.	Gleb Popov
2018-10-08	cleanup headers, whitespaces, and types	Frank Busse
2018-10-08	add support for klee-replay on OSX	Frank Busse
2009-08-05	Add klee-replay tool.	Daniel Dunbar