~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Expand)	Author
2019-11-07	Allow main with 3 arguments	Cristian Cadar
2019-10-29	[klee-replay] Fix relative executable paths	Timotej Kapus
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-06-04	Fixed identifiers used in ifdefs to (1) not use reserved names and (2) use a ...	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
2018-09-10	POSIX: Add invocation of klee_init_env into wrapper before calling main	Martin Nowack
2017-10-04	Remove Autoconf/Makefile build system and adjust the TravisCI	Dan Liew
2016-11-07	Implement a CMake based build system for KLEE.	Dan Liew
2015-06-03	Added an option --readable-posix-inputs which is used to turn on/off the CEX ...	Cristian Cadar
2014-09-12	Do not require <sys/capability.h>, which is Linux specific.	Daniel Dunbar
2013-12-08	Add chroot jail support in klee-replay.	Lei Zhang
2010-10-01	Fix a build warning, patch by nobled!	Daniel Dunbar
2010-06-28	Applied Stefan Bucur's patch from	Cristian Cadar
2010-06-28	Fixed bug reported at:	Cristian Cadar
2009-08-05	klee-replay: Support running multiple tests in one invocation, and tweak output	Daniel Dunbar
2009-08-05	Add klee-replay tool.	Daniel Dunbar