about summary refs log tree commit diff homepage
path: root/include/klee/Support
AgeCommit message (Expand)Author
2024-01-12Renamed PTree to ExecutionTree (and similar)Cristian Cadar
2024-01-12new: persistent ptree (-write-ptree) and klee-ptreeFrank Busse
2023-07-21Move some options to the klee namespace and declare them in OptionCategories.hCristian Cadar
2023-04-20Remove additional quotation marksMartin Nowack
2023-04-06Disable "disabling of warnings" for LLVM >= 14Martin Nowack
2023-04-06Support disabling compiler warnings; Use with external headersMartin Nowack
2023-04-01remove include/klee/Support/IntEvaluation.hDaniel Schemmel
2023-03-23remove obsolete headerDaniel Schemmel
2022-06-30remove LLVM < 9Frank Busse
2022-03-17remove LLVM < 6 from sourcesFrank Busse
2020-11-12Casting.h: isa_and_nonnull<>Julian Büning
2020-09-26Replace llvm::CallSite with llvm::CallBase on LLVM 8+Lukas Zaoral
2020-07-30introduce --rng-initial-seed=<unsigned>Frank Busse
2020-04-30Moved header files that were placed directly in include/klee/ into appropriat...Cristian Cadar
2020-04-30Removed include/klee/util and moved header files to appropriate placesCristian Cadar
2020-04-30Removed the Internal directory from include/kleeCristian Cadar
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-05-20 09:51:42 +0000