about summary refs log tree commit diff homepage
path: root/tools/klee
AgeCommit message (Expand)Author
2024-02-08Explicitly enable opaque pointer support for LLVM 15Martin Nowack
2024-01-12Renamed PTree to ExecutionTree (and similar)Cristian Cadar
2024-01-12new: persistent ptree (-write-ptree) and klee-ptreeFrank Busse
2023-07-21Add code to only keep in the --help menu the KLEE/Kleaver option categoriesCristian Cadar
2023-06-26Consistently use ".ktest" when referring to .ktest files in the help menuCristian Cadar
2023-05-26Some basic refactoring and pass through comments. In particular, it brings s...Cristian Cadar
2023-05-26Refactored and fixed the code dealing with the entry point.Cristian Cadar
2023-04-06Support disabling compiler warnings; Use with external headersMartin Nowack
2023-03-23stats: rename numQueries/Queries -> SolverQueries, add QueriesFrank Busse
2023-03-17Fix uninitialised memory access while reading last path entryMartin Nowack
2023-03-17[cmake] Use LLVM's CMake functionality onlyMartin Nowack
2023-02-17create klee-last as a relative linkDaniel Schemmel
2023-02-17Fix integer overflowDaniel Schemmel
2022-09-14Support UBSan-enabled binariesPavel Yatcheniy
2022-07-04Inline asm external callMikhail
2022-06-30remove LLVM < 9Frank Busse
2022-06-27Fix error with empty EntryPointSaveliy Grigoryev
2022-05-05cl flags: document default values, remove dead option: --replay-keep-symbolicFrank Busse
2022-04-28Make Uclibc support a runtime option, not a compile-time one.Gleb Popov
2022-03-17remove obsolete KLEE_LLVM legacy definesJulian Büning
2022-03-17remove LLVM < 6 from sourcesFrank Busse
2021-12-20llvm13: llvm::cl::GeneralCategory is no longer a globalLukas Zaoral
2021-10-27tools/klee: Warn if module and host target triples differLukas Zaoral
2021-05-04differentiate between partial and completed paths in summary and fix paths st...Frank Busse
2021-02-16add klee_messages for C++ exception handling supportJulian Büning
2021-02-16add ifdefs for C++ exception handlingJulian Büning
2021-02-16renaming 'libcxx' -> 'libc++'Julian Büning
2020-12-04llvm11: Use getCalledOperand instead of getCalledValueLukas Zaoral
2020-12-04llvm11: Make conversions from StringRef to std::string explicitLukas Zaoral
2020-11-09Added fortified library (for -D_FORTIFY_SOURCE), to be linked when uclibc is ...Cristian Cadar
2020-11-04Rename FreeStanding to Freestanding where appropriateMartin Nowack
2020-11-04Link to the different runtime libraries depending on the application to test.Martin Nowack
2020-10-12Exception handling only for LLVM >= 8.0.0Julian Büning
2020-10-12Implemented support for C++ ExceptionsFelix Rath
2020-06-29Implement fshr/fshl intrinsicsAlastair Reid
2020-04-30Moved header files that were placed directly in include/klee/ into appropriat...Cristian Cadar
2020-04-30Created include/klee/Core directory and moved appropriate files direc\Cristian Cadar
2020-04-30Removed the Internal directory from include/kleeCristian Cadar
2020-04-08stats: rename QueriesConstructs to QueryConstructsFrank Busse
2020-03-31Fixed some messages, particularly Klee -> KLEECristian Cadar
2020-01-17Fixed documentation for command line argument link-llvm-libMartin Nowack
2019-10-31support compilation against LLVM 9.0Julian Büning
2019-09-03Moved solver-related header files into a separate klee/Solver/ directory.Cristian Cadar
2019-08-14Replace sprintf with snprintf throughout codebaseCristian Cadar
2019-07-30Consolidated Expr-related include files into a single include/klee/Expr direc...Cristian Cadar
2019-05-30remove klee_alias_function()Julian Büning
2019-03-21drop support for LLVM <= 3.7Julian Büning
2019-03-17Fix libc++ testcasesMartin Nowack
2019-03-17Added libcxx flagLukas Wölfer
2019-03-15Hiding general (LLVM) options in klee --help !Cristian Cadar
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-05-20 10:36:55 +0000