Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

Commits on Mar 5, 2021

• Add cmake custom target uninstall

  Show description for 3678058
  

  jiseongg

  authored and

  MartinNowack

  committed
  3678058

  Copy full SHA for 3678058

Commits on Nov 4, 2020

• [cmake] Add support to generate arbitrary runtime library configurations

  Show description for 6156b4e
  

  MartinNowack

  authored and

  ccadar

  committed
  6156b4e

  Copy full SHA for 6156b4e

• [cmake] Switch to "newer" cmake version 3.5.0

  Show description for 7fbef46
  

  MartinNowack

  authored and

  ccadar

  committed
  7fbef46

  Copy full SHA for 7fbef46

Commits on Sep 30, 2020

• [CMake][Z3] Check if function Z3_get_error_msg needs context using C++

  Show description for 15240d9
  

  MartinNowack

  authored and

  ccadar

  committed
  15240d9

  Copy full SHA for 15240d9

Commits on Aug 7, 2020

• Tweak LLVM version string parser: support rust

  Show description for f20d52a
  

  Alastair Reid

  authored and

  ccadar

  committed
  f20d52a

  Copy full SHA for f20d52a

Commits on Jun 17, 2020

• remove cmake warning

  Show description for 32b5c24
  

  251

  authored and

  ccadar

  committed
  32b5c24

  Copy full SHA for 32b5c24

Commits on Feb 24, 2020

• find_llvm.cmake: enable parsing for git version

  

  jbuening

  authored and

  MartinNowack

  committed
  f253fd3

  Copy full SHA for f253fd3

Commits on Jul 30, 2019

• CMake: fix LLVM_DEFINITIONS with find_package()

  

  jbuening

  authored and

  MartinNowack

  committed
  d1f714b

  Copy full SHA for d1f714b

• CMake: enable reuse of LLVM's googletest src and targets

  Show description for 2d6a5dd
  

  jbuening

  authored and

  MartinNowack

  committed
  2d6a5dd

  Copy full SHA for 2d6a5dd

Commits on Apr 4, 2019

• Clean klee-stats, StatsTracker and cmake

  

  kren1

  authored and

  MartinNowack

  committed
  572d644

  Copy full SHA for 572d644

Commits on Mar 21, 2019

• drop support for LLVM <= 3.7

  

  jbuening

  authored and

  MartinNowack

  committed
  9767a37

  Copy full SHA for 9767a37

Commits on Mar 5, 2019

• workaround for LLVM PR39177

  Show description for 7e33d5c
  

  jbuening

  authored and

  ccadar

  committed
  7e33d5c

  Copy full SHA for 7e33d5c

Commits on Sep 14, 2018

• cmake: find_llvm, fix libraries with llvm-config 3.9

  Show description for 44349e3
  

  jirislaby

  authored and

  MartinNowack

  committed
  44349e3

  Copy full SHA for 44349e3

Commits on Jul 2, 2018

• CMake: use cmake_{push,pop}_check_state

  

  jbuening

  authored and

  MartinNowack

  committed
  95cad2a

  Copy full SHA for 95cad2a

Commits on Jun 11, 2018

• cmake: find_llvm, handle libLLVM-version.so properly

  Show description for c75e42a
  

  jirislaby

  authored and

  MartinNowack

  committed
  c75e42a

  Copy full SHA for c75e42a

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

  committed
  ce39e6e

  Copy full SHA for ce39e6e

Commits on Jul 28, 2017

• [CMake] Change the default value of ENABLE_SOLVER_METASMT to be set

  Show description for 5ebe8a6
  

  Dan Liew

  committed
  5ebe8a6

  Copy full SHA for 5ebe8a6

• [CMake] Refactor Z3 detection and change the default value of

  Show description for 5080f35
  

  Dan Liew

  committed
  5080f35

  Copy full SHA for 5080f35

• [CMake] Refactor STP detection and change the default value of

  Show description for 0c964b4
  

  Dan Liew

  committed
  0c964b4

  Copy full SHA for 0c964b4

Commits on Jul 25, 2017

• [CMake] Fix bug where we would inherit LLVM's -DNDEBUG define

  Show description for b496ea2
  

  Dan Liew

  committed
  b496ea2

  Copy full SHA for b496ea2

Commits on Mar 30, 2017

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

  Show description for c08cb14
  

  Dan Liew

  authored and

  delcypher

  committed
  c08cb14

  Copy full SHA for c08cb14

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

  committed
  1f8638a

  Copy full SHA for 1f8638a

Commits on Jan 28, 2017

• [cmake] add PATH_SUFFIXES needed to find z3 on Fedora

  

  ekiwi

  authored and

  delcypher

  committed
  f2abb47

  Copy full SHA for f2abb47

Commits on Dec 19, 2016

• [CMake] Fix linker warning about mixed linking modes when LLVM was

  Show description for 48d0feb
  

  Dan Liew

  committed
  48d0feb

  Copy full SHA for 48d0feb

Commits on Dec 18, 2016

• CMake: Fixed the LLVM version regex

  Show description for e056aa4
  

  adrianherrera

  authored and

  delcypher

  committed
  e056aa4

  Copy full SHA for e056aa4

Commits on Nov 22, 2016

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

  Show description for c003a21
  

  Dan Liew

  authored and

  delcypher

  committed
  c003a21

  Copy full SHA for c003a21

• [CMake] Fix link order of LLVM libraries and required system libraries.

  Show description for 7214ec6
  

  Dan Liew

  authored and

  delcypher

  committed
  7214ec6

  Copy full SHA for 7214ec6

Commits on Nov 21, 2016

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

  Show description for fb231a0
  

  Dan Liew

  authored and

  delcypher

  committed
  fb231a0

  Copy full SHA for fb231a0

Commits on Nov 7, 2016

• [CMake] Report git revision information if available.

  Show description for e853f0b
  

  Dan Liew

  authored and

  delcypher

  committed
  e853f0b

  Copy full SHA for e853f0b

• Implement a CMake based build system for KLEE.

  Show description for 7e75b49
  

  Dan Liew

  authored and

  delcypher

  committed
  7e75b49

  Copy full SHA for 7e75b49

Loading