~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Expand)	Author
2023-04-20	ensure that the right mt19937 constructor is chosen during overload resolution	Daniel Schemmel
2023-04-20	remove unused rng adaptor functions	Daniel Schemmel
2023-04-20	use `std::mt19937` instead of the custom implementation	Daniel Schemmel
2023-04-06	Support disabling compiler warnings; Use with external headers	Martin Nowack
2023-03-22	Change `llvm_map_components_to_libnames` to `llvm_config` CMake function	Martin Nowack
2023-03-17	[cmake] Use LLVM's CMake functionality only	Martin Nowack
2022-06-30	remove LLVM < 9	Frank Busse
2022-04-25	use mallinfo2 if available	Frank Busse
2022-03-21	Fixed a wrong type when computing memory usage on macOS	Cristian Cadar
2022-03-17	remove LLVM < 6 from sources	Frank Busse
2022-03-17	Fixed GetTotalMallocUsage on macOS to look at all zones. (The test MemoryLimi...	Cristian Cadar
2021-12-20	llvm13: llvm::fs::F_None has been removed	Lukas Zaoral
2021-12-20	Support/FileHandling.cpp: rewrite to C++14	Lukas Zaoral
2020-07-30	introduce --rng-initial-seed=<unsigned>	Frank Busse
2020-04-30	Removed the Internal directory from include/klee	Cristian Cadar
2019-10-29	ExecutorTimers: refactor and move to support lib	Frank Busse
2019-03-21	drop support for LLVM <= 3.7	Julian Büning
2019-03-13	Placed --warnings-only-to-file in a miscellaneous category	Cristian Cadar
2019-03-12	time: add double type for span multiplications	Frank Busse
2018-10-30	Base time API upon std::chrono	Frank Busse
2018-10-26	llvm7: adapt to new openFileForWrite	Jiri Slaby
2018-10-26	llvm6: SetVersionPrinter now passes down a stream	Jiri Slaby
2018-10-23	refactor klee_open_output_file to return std::unique_ptr	Julian Büning
2018-09-18	llvm4: use chrono helpers from LLVM	Jiri Slaby
2018-07-02	CMake: check for ctype and mallinfo functions with CXX instead of C compiler	Julian Büning
2018-05-22	CompressionStream: fix sporadic segfaults (uninitialised avail_in)	Frank Busse
2017-10-04	Remove Autoconf/Makefile build system and adjust the TravisCI	Dan Liew
2017-10-03	Silenced some warnings about unused variables when assertions are disabled.	Cristian Cadar
2017-08-27	Remove unnecessary null pointer checks	Oscar Deits
2017-07-31	Fix build for FreeBSD.	Tatiana Tikhomirova
2017-07-23	Remove support for LLVM < 3.4	Martin Nowack
2017-07-19	Fixes bug in TreeStreamWriter::write reported by @gladtbx in #562. Also remo...	Cristian Cadar
2017-06-01	Refactor file opening code out of `main.cpp` and into	Dan Liew
2017-05-24	llvm: make KLEE compile against LLVM 3.5 and 3.6	Richard Trembecký
2017-03-01	Added new option --warnings-only-to-file which causes warnings to be written ...	Cristian Cadar
2017-01-19	Fix `Feature/MemoryLimit.c` test when building KLEE with ASan.	Dan Liew
2016-11-30	Remove support for reporting the approximate git tag.	Dan Liew
2016-11-18	[CMake] Remove use of tabs in `CMakeLists.txt` files.	Dan Liew
2016-11-18	[CMake] Re-express LLVM and KLEE library dependencies as	Dan Liew
2016-11-07	Implement a CMake based build system for KLEE.	Dan Liew
2016-09-29	configure: add option to enable timestamping	Jiri Slaby
2016-08-02	MemoryUsage: fix GetTotalMallocUsage	Jiri Slaby
2016-07-08	Support gzip-based compression of raw_outstreams	Martin Nowack
2016-02-27	Add support for tcmalloc	Martin Nowack
2015-12-17	Refactoring: Moving klee_warning/_error functions to ErrorHandling in Support...	Martin Nowack
2015-04-25	Report the git tag if exists in the output of --version from klee	Dan Liew
2015-04-25	Give KLEE release version information in the output of klee and kleaver	Dan Liew
2015-03-13	Timestamp improvements.	Emil Rakadjiev
2014-09-14	[LLVM3.5] Don't try to use DEBUG macro without DEBUG_TYPE.	Daniel Dunbar
2014-09-13	Add KLEE specific DEBUG macros.	Daniel Dunbar