~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Expand)	Author
2022-01-05	Do not use stat64 directly in gen-random-bout	Cristian Cadar
2021-12-20	llvm13: llvm::cl::GeneralCategory is no longer a global	Lukas Zaoral
2021-11-02	ktest-tool: --extract: warn if object can't be found	Frank Busse
2021-11-02	klee-stats: order remaining columns alphabetically	Frank Busse
2021-10-27	tools/klee: Warn if module and host target triples differ	Lukas Zaoral
2021-05-04	differentiate between partial and completed paths in summary and fix paths st...	Frank Busse
2021-04-29	Fix erroneous klee-stats legend for --print-all	Jordy Ruiz
2021-04-18	klee-replay: Fix -Wformat-truncation warning	Lukas Zaoral
2021-02-16	add klee_messages for C++ exception handling support	Julian Büning
2021-02-16	add ifdefs for C++ exception handling	Julian Büning
2021-02-16	renaming 'libcxx' -> 'libc++'	Julian Büning
2020-12-04	llvm11: Use getCalledOperand instead of getCalledValue	Lukas Zaoral
2020-12-04	llvm11: Make conversions from StringRef to std::string explicit	Lukas Zaoral
2020-11-11	klee-stats: add (readable) csv format (--table-format=readable-csv/csv)	Frank Busse
2020-11-11	Do not redefine fgetc_unlocked and fputc_unlocked unconditionally.	Gleb Popov
2020-11-09	Added fortified library (for -D_FORTIFY_SOURCE), to be linked when uclibc is ...	Cristian Cadar
2020-11-04	Rename FreeStanding to Freestanding where appropriate	Martin Nowack
2020-11-04	Link to the different runtime libraries depending on the application to test.	Martin Nowack
2020-10-12	Exception handling only for LLVM >= 8.0.0	Julian Büning
2020-10-12	Implemented support for C++ Exceptions	Felix Rath
2020-09-30	klee-stats: fix behaviour for broken/empty DBs	Frank Busse
2020-09-17	[gen-bout] Support multiple symbolic files	Timotej Kapus
2020-09-17	Add klee-zesti a ZESTI like wrapper script	Timotej Kapus
2020-08-23	klee-stats: check for a run.stats file in the klee-out directory, to prevent ...	Jordy Ruiz
2020-07-01	Separate constraint set and constraint manager	Martin Nowack
2020-06-29	Implement fshr/fshl intrinsics	Alastair Reid
2020-04-30	Moved header files that were placed directly in include/klee/ into appropriat...	Cristian Cadar
2020-04-30	Created include/klee/Core directory and moved appropriate files direc\	Cristian Cadar
2020-04-30	Removed the Internal directory from include/klee	Cristian Cadar
2020-04-08	stats: rename QueriesConstructs to QueryConstructs	Frank Busse
2020-03-31	Fixed some messages, particularly Klee -> KLEE	Cristian Cadar
2020-03-17	Fixed compiler warning when printing variable of type off_t	Cristian Cadar
2020-03-17	stat64 is deprecated on macOS; use stat instead	Cristian Cadar
2020-03-01	[klee-stats] Grafana: Limit number of entries to query for column names	Martin Nowack
2020-03-01	[klee-stats] Use the last row inserted instead of the row with highest Instru...	Martin Nowack
2020-03-01	[klee-stats] Refactor preparing and printing the table	Martin Nowack
2020-03-01	[klee-stats] Check for existence of stats file for Grafana as well	Martin Nowack
2020-03-01	[klee-stats] Do not crash if tabulate is not installed but requested	Martin Nowack
2020-03-01	[klee-stats] Refactor writing table into own function	Martin Nowack
2020-03-01	[klee-stats] Refactor CSV printout in own function	Martin Nowack
2020-03-01	[klee-stats] Check if stats file exist before trying to open it	Martin Nowack
2020-02-24	Add leading zeros to genbout	Timotej Kapus
2020-01-17	Add support to provid a specific host address and port for grafana server	Martin Nowack
2020-01-17	Extended the grafana dashboard.	knm17
2020-01-17	Fixed documentation for command line argument link-llvm-lib	Martin Nowack
2019-11-07	Allow main with 3 arguments	Cristian Cadar
2019-10-31	support compilation against LLVM 9.0	Julian Büning
2019-10-29	[klee-replay] Fix relative executable paths	Timotej Kapus
2019-09-03	Moved solver-related header files into a separate klee/Solver/ directory.	Cristian Cadar
2019-08-15	replace fprintf with fputs/fputc	Frank Busse