about summary refs log tree commit diff homepage
path: root/lib/Support
AgeCommit message (Expand)Author
2020-04-30Removed the Internal directory from include/kleeCristian Cadar
2019-10-29ExecutorTimers: refactor and move to support libFrank Busse
2019-03-21drop support for LLVM <= 3.7Julian Büning
2019-03-13Placed --warnings-only-to-file in a miscellaneous categoryCristian Cadar
2019-03-12time: add double type for span multiplicationsFrank Busse
2018-10-30Base time API upon std::chronoFrank Busse
2018-10-26llvm7: adapt to new openFileForWriteJiri Slaby
2018-10-26llvm6: SetVersionPrinter now passes down a streamJiri Slaby
2018-10-23refactor klee_open_output_file to return std::unique_ptrJulian Büning
2018-09-18llvm4: use chrono helpers from LLVMJiri Slaby
2018-07-02CMake: check for ctype and mallinfo functions with CXX instead of C compilerJulian Büning
2018-05-22CompressionStream: fix sporadic segfaults (uninitialised avail_in)Frank Busse
2017-10-04Remove Autoconf/Makefile build system and adjust the TravisCIDan Liew
2017-10-03Silenced some warnings about unused variables when assertions are disabled.Cristian Cadar
2017-08-27Remove unnecessary null pointer checksOscar Deits
2017-07-31Fix build for FreeBSD.Tatiana Tikhomirova
2017-07-23Remove support for LLVM < 3.4Martin Nowack
2017-07-19Fixes bug in TreeStreamWriter::write reported by @gladtbx in #562. Also remo...Cristian Cadar
2017-06-01Refactor file opening code out of `main.cpp` and intoDan Liew
2017-05-24llvm: make KLEE compile against LLVM 3.5 and 3.6Richard Trembecký
2017-03-01Added new option --warnings-only-to-file which causes warnings to be written ...Cristian Cadar
2017-01-19Fix `Feature/MemoryLimit.c` test when building KLEE with ASan.Dan Liew
2016-11-30Remove 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 asDan Liew
2016-11-07Implement a CMake based build system for KLEE.Dan Liew
2016-09-29configure: add option to enable timestampingJiri Slaby
2016-08-02MemoryUsage: fix GetTotalMallocUsageJiri Slaby
2016-07-08Support gzip-based compression of raw_outstreamsMartin Nowack
2016-02-27Add support for tcmallocMartin Nowack
2015-12-17Refactoring: Moving klee_warning/_error functions to ErrorHandling in Support...Martin Nowack
2015-04-25Report the git tag if exists in the output of --version from kleeDan Liew
2015-04-25Give KLEE release version information in the output of klee and kleaverDan Liew
2015-03-13Timestamp improvements.Emil Rakadjiev
2014-09-14[LLVM3.5] Don't try to use DEBUG macro without DEBUG_TYPE.Daniel Dunbar
2014-09-13Add KLEE specific DEBUG macros.Daniel Dunbar
2014-09-12Add support for getting memory usage on Darwin.Daniel Dunbar
2014-09-12Do not require mallinfo(), which is Linux specific.Daniel Dunbar
2014-05-29Remove #include <iostream> to avoid static constructorsMartin Nowack
2014-05-29Refactoring from std::ostream to llvm::raw_ostreamMartin Nowack
2014-04-24Renamed GetTotalMemoryUsage to GetTotalMallocUsageMartin Nowack
2014-04-24Modify klee::util::GetTotalMemoryUsage() so that if the system isDan Liew
2014-04-24Fix handling of memory usage in KLEE.Martin Nowack
2013-12-21Do not install KLEE's internal libraries.Dan Liew
2013-12-06Deprecate LLVM 2.8 and lowerMartin Nowack
2011-07-20Deprecate LLVM_VERSION_MAJOR and LLVM_VERSION_MINOR in favour ofPeter Collingbourne
2011-04-23Patch by arrowdodger (http://keeda.stanford.edu/pipermail/klee-dev/2011-April...Cristian Cadar
2009-05-21Initial KLEE checkin.Daniel Dunbar
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-25 18:59:41 +0000