Commits

History for

Commits on Jul 30, 2019

CMake: fix LLVM_DEFINITIONS with find_package()

jbuening
authored and
MartinNowack
committedJul 30, 2019
CMake: enable reuse of LLVM's googletest src and targets

jbuening
authored and
MartinNowack
committedJul 30, 2019

Commits on Apr 4, 2019

Clean klee-stats, StatsTracker and cmake

kren1
authored and
MartinNowack
committedApr 4, 2019

Commits on Mar 21, 2019

drop support for LLVM <= 3.7

jbuening
authored and
MartinNowack
committedMar 21, 2019

Commits on Mar 5, 2019

workaround for LLVM PR39177

jbuening
authored and
ccadar
committedMar 5, 2019

Commits on Sep 14, 2018

cmake: find_llvm, fix libraries with llvm-config 3.9

jirislaby
authored and
MartinNowack
committedSep 14, 2018

Commits on Jul 2, 2018

CMake: use cmake_{push,pop}_check_state

jbuening
authored and
MartinNowack
committedJul 2, 2018

Commits on Jun 11, 2018

cmake: find_llvm, handle libLLVM-version.so properly

jirislaby
authored and
MartinNowack
committedJun 11, 2018

Commits on Oct 17, 2017

[cmake] detect available metaSMT backends using a pre-defined flag and raise compile flags accordingly

Hoang M. Le
authored and
andreamattavelli
committedOct 17, 2017

Commits on Jul 28, 2017

[CMake] Change the default value of ENABLE_SOLVER_METASMT to be set
Dan Liew
committedJul 28, 2017
[CMake] Refactor Z3 detection and change the default value of
Dan Liew
committedJul 28, 2017
[CMake] Refactor STP detection and change the default value of
Dan Liew
committedJul 28, 2017

Commits on Jul 25, 2017

[CMake] Fix bug where we would inherit LLVM's -DNDEBUG define
Dan Liew
committedJul 25, 2017

Commits on Mar 30, 2017

[CMake] Try to fix bug reported by klee#633 .

Dan Liew
authored and
delcypher
committedMar 30, 2017

Commits on Mar 23, 2017

remove special handling of metaSMT_CXXFLAGS (unnecessary now as we use a fixed version of metaSMT with this flag being properly set)

Hoang M. Le
authored and
delcypher
committedMar 23, 2017

Commits on Jan 28, 2017

[cmake] add PATH_SUFFIXES needed to find z3 on Fedora

ekiwi
authored and
delcypher
committedJan 28, 2017

Commits on Dec 19, 2016

[CMake] Fix linker warning about mixed linking modes when LLVM was
Dan Liew
committedDec 19, 2016

Commits on Dec 18, 2016

CMake: Fixed the LLVM version regex

adrianherrera
authored and
delcypher
committedDec 18, 2016

Commits on Nov 22, 2016

[CMake] Fix determining the system libraries needed by LLVM from

Dan Liew
authored and
delcypher
committedNov 22, 2016
[CMake] Fix link order of LLVM libraries and required system libraries.

Dan Liew
authored and
delcypher
committedNov 22, 2016

Commits on Nov 21, 2016

[CMake] Fix the build when -DBUILD_SHARED_LIBS=ON is passed.

Dan Liew
authored and
delcypher
committedNov 21, 2016

Commits on Nov 7, 2016

[CMake] Report git revision information if available.

Dan Liew
authored and
delcypher
committedNov 7, 2016
Implement a CMake based build system for KLEE.

Dan Liew
authored and
delcypher
committedNov 7, 2016

Loading