about summary refs log tree commit diff homepage
path: root/tools
AgeCommit message (Expand)Author
2018-10-26Added gen-bout tool to generate ktest file (file.bout) using specified concre...Andrew Santosa
2018-10-26llvm5: avoid ++ on function->arg_begin()Jiri Slaby
2018-10-23refactor klee_open_output_file to return std::unique_ptrJulian Büning
2018-10-16Renamed klee/CommandLine.h to klee/SolverCmdLine.h, since this file is meant ...Cristian Cadar
2018-10-08cleanup headers, whitespaces, and typesFrank Busse
2018-10-08add support for klee-replay on OSXFrank Busse
2018-09-18llvm4: handle different header namesJiri Slaby
2018-09-14llvm: make KLEE compile against LLVM 3.9Jiri Slaby
2018-09-10Unify the error message if that function has not been found.Martin Nowack
2018-09-10POSIX: Add invocation of klee_init_env into wrapper before calling mainMartin Nowack
2018-08-29klee-stats: add TResolve(%) to --print-allFrank Busse
2018-08-03Replace remaining *Inst::Create() calls with llvm::BuilderMartin Nowack
2018-07-12llvm38: SmallString is always up-to-dateJiri Slaby
2018-07-04Reorder linking and optimizationsMartin Nowack
2018-06-29fix out of range access in KleeHandler::getKTestFilesInDirFrank Busse
2018-05-24llvm: make KLEE compile against LLVM 3.7Richard Trembecký
2018-05-08remove unused file: tools/klee/Debug.cppDaniel Schemmel
2018-05-05Fix handling of errno if external functions are invokedMartin Nowack
2018-04-28exitOnError no output buf fixZekun Shen
2018-03-01Store CexCache stats and then update klee-stats to use themDomenico Fabio Marino
2017-11-30Implemented bounded merging functionalityLukas Wölfer
2017-10-04Remove Autoconf/Makefile build system and adjust the TravisCIDan Liew
2017-08-27Remove unnecessary null pointer checksOscar Deits
2017-08-04Removed merging searchersLukas Wölfer
2017-08-01Fixed test case counter: Previously the number of test cases generated by KLE...Andrea Mattavelli
2017-07-26This reverts incorrect patch https://github.com/klee/klee/commit/db29a0bba74b...Cristian Cadar
2017-07-23Remove support for LLVM < 3.4Martin Nowack
2017-07-18Merge pull request #672 from jirislaby/llvm40_static_castsAndrea Mattavelli
2017-06-16move module loading into external functionJörg Thalheim
2017-06-15llvm: get rid of static_casts from iteratorsJiri Slaby
2017-06-12llvm: don't use clEnumValEnd for LLVM 4.0Jiri Slaby
2017-06-07llvm: rename ExitOnError to OptExitOnErrorJiri Slaby
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-23Replace `llvm:errs()` with `klee_error()` as suggested by @andreamattavelliDan Liew
2017-03-23[WIP] Fix bug where stats would not be updated on early exit caused byDan Liew
2017-02-28convert iterators using static_castJiri Slaby
2017-02-25llvm: stop using global contextJiri Slaby
2017-01-16[CMake] Rename "integrationtests" to "systemtests".Dan Liew
2016-12-02Fixed the issue of klee-stats not being copied to bin/Cristian Cadar
2016-12-01Added among the external calls that we modelAndrea Mattavelli
2016-11-23Renamed .pc to .kquery (kleaver query)Eric Rizzi
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-17[cmake] Build with newer JIT (for LLVM >= 3.6)Adrian Herrera
2016-11-07Implement a CMake based build system for KLEE.Dan Liew
2016-09-29Fixed the description of -posix-runtime optionAndrew Santosa
2016-09-26Modified logging information to steer the usage of klee_message, klee_warning...Andrea Mattavelli
2016-09-16Avoid internalization of non-standard entry point (i.e. not the main function...Andrea Mattavelli
2016-09-15Check the existence of the entry point during the initialization of the POSIX...Andrea Mattavelli
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-22 05:53:10 +0000