Commits

Breadcrumbs

History for

onf0aa7d8

User selector

All users

Datepicker

All time

Commit History

Commits on Apr 2, 2019

• Do not take sys/capability.h header into account on FreeBSD. Also use libutil.h header there.

  

  arrowd

  authored and

  MartinNowack

  committed
  f0aa7d8

  Copy full SHA for f0aa7d8

Commits on Mar 20, 2019

• Moving to version 2.1-pre

  

  ccadar

  authored and

  MartinNowack

  committed
  e4cfe53

  Copy full SHA for e4cfe53

Commits on Mar 19, 2019

• Set version to 2.0!

  ccadar

  committed
  265c25c

  Copy full SHA for 265c25c

Commits on Mar 17, 2019

• Cmake enhance detection of C++ libraries and include files

  Show description for dccfb3d
  

  MartinNowack

  authored and

  ccadar

  committed
  dccfb3d

  Copy full SHA for dccfb3d

• Added libcxx flag

  

  corrodedHash

  authored and

  ccadar

  committed
  7ad366f

  Copy full SHA for 7ad366f

Commits on Mar 12, 2019

• Add support to compile KLEE with MemorySanitizer (MSan)

  

  MartinNowack

  authored and

  ccadar

  committed
  74c432e

  Copy full SHA for 74c432e

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 Dec 14, 2018

• Enable C++14 support

  

  MartinNowack

  authored and

  ccadar

  committed
  124f8f6

  Copy full SHA for 124f8f6

Commits on Oct 10, 2018

• cmake/lit: add asan/non-asan, ubsan/non-ubsan flags

  

  251

  authored and

  ccadar

  committed
  44892ef

  Copy full SHA for 44892ef

Commits on Oct 8, 2018

• add support for klee-replay on OSX

  Show description for f3d3cca
  

  251

  authored and

  ccadar

  committed
  f3d3cca

  Copy full SHA for f3d3cca

Commits on Sep 14, 2018

• llvm39: switch KLEE_RUNTIME_BUILD_TYPE to Debug+Asserts

  Show description for f2dc350
  

  jirislaby

  authored and

  MartinNowack

  committed
  f2dc350

  Copy full SHA for f2dc350

Commits on Aug 3, 2018

• Disabled unit testing in default build

  

  andreamattavelli

  authored and

  ccadar

  committed
  6e3b4d7

  Copy full SHA for 6e3b4d7

Commits on Jul 10, 2018

• Enabled tcmalloc by default

  

  kren1

  authored and

  ccadar

  committed
  44eb054

  Copy full SHA for 44eb054

Commits on Jul 4, 2018

• Link dynamic libraries with specific paths instead of resolving them during runtime

  

  MartinNowack

  authored and

  ccadar

  committed
  bfb5db0

  Copy full SHA for bfb5db0

• Add missing out-of-tree include files directory for TCMalloc

  

  MartinNowack

  authored and

  ccadar

  committed
  a038e4b

  Copy full SHA for a038e4b

• Support sanitizer suppression files with lit-based testing

  

  MartinNowack

  authored and

  ccadar

  committed
  8f2b9b5

  Copy full SHA for 8f2b9b5

Commits on Jul 2, 2018

• CMake: use cmake_{push,pop}_check_state

  

  jbuening

  authored and

  MartinNowack

  committed
  95cad2a

  Copy full SHA for 95cad2a

• CMake: check for ctype and mallinfo functions with CXX instead of C compiler

  

  jbuening

  authored and

  MartinNowack

  committed
  418184c

  Copy full SHA for 418184c

Commits on Oct 26, 2017

• [cmake]Fix detection of non-standard path for tcmalloc

  

  MartinNowack

  authored and

  andreamattavelli

  committed
  9caaae0

  Copy full SHA for 9caaae0

Commits on Oct 5, 2017

• enforce c++11

  Show description for 48effc8
  

  Mic92

  authored and

  delcypher

  committed
  48effc8

  Copy full SHA for 48effc8

Commits on Oct 4, 2017

• [CMake] Add global clean target clean_all. Fixes #718.

  Show description for ba660bf
  

  Dan Liew

  committed
  ba660bf

  Copy full SHA for ba660bf

• [CMake] Fix bug when doing non-assert builds.

  Show description for 12f0e2c
  

  Dan Liew

  authored and

  delcypher

  committed
  12f0e2c

  Copy full SHA for 12f0e2c

Commits on Oct 3, 2017

• [CMake] Report the value of some important variables during configure

  Show description for b24c543
  

  Dan Liew

  committed
  b24c543

  Copy full SHA for b24c543

• [CMake] Fix initialisation order of KLEE_COMPONENT_* and

  Show description for 32f6562
  

  Dan Liew

  committed
  32f6562

  Copy full SHA for 32f6562

Commits on Jul 31, 2017

• Fix build for FreeBSD.

  Show description for 977e032
  

  itbot08

  authored and

  delcypher

  committed
  977e032

  Copy full SHA for 977e032

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] Add ENABLE_ZLIB option to control whether KLEE uses

  Show description for 8fe7668
  

  Dan Liew

  committed
  8fe7668

  Copy full SHA for 8fe7668

• [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] Emit warning when mixing assert and non assert builds.

  Show description for df899b0
  

  Dan Liew

  committed
  df899b0

  Copy full SHA for df899b0

Commits on Jul 20, 2017

• Switching version to 1.4.0

  

  ccadar

  authored and

  delcypher

  committed
  c212a8f

  Copy full SHA for c212a8f

Commits on May 2, 2017

• [CMake] change WARNING to FATAL_ERROR when building with a non-RTTI LLVM version and a metaSMT version that requires RTTI

  

  Hoang M. Le

  authored and

  delcypher

  committed
  8277865

  Copy full SHA for 8277865

• use METASMT_REQUIRE_RTTI flag to decide whether we need RTTI

  

  Hoang M. Le

  authored and

  delcypher

  committed
  af9b2ee

  Copy full SHA for af9b2ee

Commits on Mar 30, 2017

• [CMake] When supported pass USES_TERMINAL argument to

  Show description for ec3ac10
  

  Dan Liew

  committed
  ec3ac10

  Copy full SHA for ec3ac10

Commits on Jan 18, 2017

• [CMake] Remove ENABLE_TESTS CMake cache option.

  Show description for 19b7bdd
  

  Dan Liew

  committed
  19b7bdd

  Copy full SHA for 19b7bdd

Pagination

Previous

Next