Age | Commit message (Expand) | Author |
2019-07-30 | CMake: fix LLVM_DEFINITIONS with find_package() | Julian Büning |
2019-07-30 | CMake: enable reuse of LLVM's googletest src and targets | Julian Büning |
2019-04-04 | Clean klee-stats, StatsTracker and cmake | Timotej Kapus |
2019-03-21 | drop support for LLVM <= 3.7 | Julian Büning |
2019-03-05 | workaround for LLVM PR39177 | Julian Büning |
2018-09-14 | cmake: find_llvm, fix libraries with llvm-config 3.9 | Jiri Slaby |
2018-07-02 | CMake: use cmake_{push,pop}_check_state | Julian Büning |
2018-06-11 | cmake: find_llvm, handle libLLVM-version.so properly | Jiri Slaby |
2017-10-17 | [cmake] detect available metaSMT backends using a pre-defined flag and raise ... | Hoang M. Le |
2017-07-28 | [CMake] Change the default value of `ENABLE_SOLVER_METASMT` to be set | Dan Liew |
2017-07-28 | [CMake] Refactor Z3 detection and change the default value of | Dan Liew |
2017-07-28 | [CMake] Refactor STP detection and change the default value of | Dan Liew |
2017-07-25 | [CMake] Fix bug where we would inherit LLVM's `-DNDEBUG` define | Dan Liew |
2017-03-30 | [CMake] Try to fix bug reported by #633. | Dan Liew |
2017-03-23 | remove special handling of metaSMT_CXXFLAGS (unnecessary now as we use a fixe... | Hoang M. Le |
2017-01-28 | [cmake] add PATH_SUFFIXES needed to find z3 on Fedora | Kevin Laeufer |
2016-12-19 | [CMake] Fix linker warning about mixed linking modes when LLVM was | Dan Liew |
2016-12-18 | CMake: Fixed the LLVM version regex | Adrian Herrera |
2016-11-22 | [CMake] Fix determining the system libraries needed by LLVM from | Dan Liew |
2016-11-22 | [CMake] Fix link order of LLVM libraries and required system libraries. | Dan Liew |
2016-11-21 | [CMake] Fix the build when `-DBUILD_SHARED_LIBS=ON` is passed. | Dan Liew |
2016-11-07 | [CMake] Report git revision information if available. | Dan Liew |
2016-11-07 | Implement a CMake based build system for KLEE. | Dan Liew |