about summary refs log tree commit diff homepage
path: root/lib/Core/CMakeLists.txt
AgeCommit message (Expand)Author
2024-03-05Move differentiator to separate moduleNguyễn Gia Phong
2024-03-05Half-bake decision clusteringNguyễn Gia Phong
2024-03-05Implement differencial test structureNguyễn Gia Phong
2024-01-12Renamed PTree to ExecutionTree (and similar)Cristian Cadar
2024-01-12new: persistent ptree (-write-ptree) and klee-ptreeFrank Busse
2023-06-05CMake: use built-in FindSQLite3 moduleJulian Büning
2023-03-22Change `llvm_map_components_to_libnames` to `llvm_config` CMake functionMartin Nowack
2023-03-17[cmake] Use LLVM's CMake functionality onlyMartin Nowack
2019-10-29ExecutorTimers: refactor and move to support libFrank Busse
2019-04-04some minor refactoringsFrank Busse
2019-04-04Clean klee-stats, StatsTracker and cmakeTimotej Kapus
2019-04-04Change the .stats format into sqlite3Timotej Kapus
2019-03-21drop support for LLVM <= 3.7Julian Büning
2017-11-30Implemented bounded merging functionalityLukas Wölfer
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
generated by cgit-pink 1.4.1 (git 2.36.1) at 2025-08-05 12:23:12 +0000