~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Expand)	Author
2021-04-30	posix runtime: add malloc checks	Frank Busse
2020-12-23	posix runtime: remove dead branch	Frank Busse
2019-11-07	Allow main with 3 arguments	Cristian Cadar
2019-08-01	gen(-random)-bout: add --bout-file flag	Frank Busse
2018-09-29	Changed code to create up to 100 properly-numbered symbolic arguments, and ad...	Cristian Cadar
2018-09-29	Add checks for correct usage of the POSIX model, together with an associated ...	Cristian Cadar
2018-09-10	POSIX: Add invocation of klee_init_env into wrapper before calling main	Martin Nowack
2016-08-19	Added -save-all-writes to klee_init_env help message	Andrea Mattavelli
2016-05-27	Improved help message for POSIX environment options.	Cristian Cadar
2016-05-24	Split creation of symbolic files and stdin in two distinct options	Andrea Mattavelli
2015-06-03	Added an option --readable-posix-inputs which is used to turn on/off the CEX ...	Cristian Cadar
2010-06-28	Applied Stefan Bucur's patch from	Cristian Cadar
2009-05-23	Make klee_init_env print some usage instructions with --help.	Daniel Dunbar
2009-05-22	Add "name" argument to klee_make_symbolic, and kill off klee_make_symbolic_name.	Daniel Dunbar
2009-05-21	Initial KLEE checkin.	Daniel Dunbar