Commits

Branch selector

 master

User selector

MartinNowack

Datepicker

All time

Commit History

Commits on Jan 6, 2022

• Remove old Travis CI support

  Show description for fa28a1b
  

  MartinNowack

  authored and

  ccadar

  committed
  fa28a1b

  Copy full SHA for fa28a1b

Commits on Sep 15, 2021

• Install git as a requirement for codecov

  Show description for 57d81af
  

  MartinNowack

  authored and

  ccadar

  committed
  57d81af

  Copy full SHA for 57d81af

Commits on Dec 4, 2020

• Only build 32bit runtime libraries if supported by platform

  Show description for 199bd43
  

  MartinNowack

  authored and

  ccadar

  committed
  199bd43

  Copy full SHA for 199bd43

Commits on Dec 2, 2020

• Fix Codecov upload

  Show description for 729825e
  

  MartinNowack

  authored and

  ccadar

  committed
  729825e

  Copy full SHA for 729825e

• Use Github Actions as default CI

  MartinNowack

  committed
  c51ffcd

  Copy full SHA for c51ffcd

• Remove artificial timeouts as current timeout for build jobs is 6h.

  MartinNowack

  committed
  4411278

  Copy full SHA for 4411278

• Rename `build-travis-container.py` into `build-ci-container.py`

  Show description for 8a9c2db
  MartinNowack

  committed
  8a9c2db

  Copy full SHA for 8a9c2db

• Add Github Actions for KLEE CI based @jordr

  Show description for 96ce9fe
  MartinNowack

  committed
  96ce9fe

  Copy full SHA for 96ce9fe

• Detect system include headers on macOS

  Show description for d450b92
  MartinNowack

  committed
  d450b92

  Copy full SHA for d450b92

• Handle LLVM version selection more robust

  MartinNowack

  committed
  26b13da

  Copy full SHA for 26b13da

• Use non-interactive input

  MartinNowack

  committed
  d83484b

  Copy full SHA for d83484b

Commits on Nov 4, 2020

• Rename FreeStanding to Freestanding where appropriate

  

  MartinNowack

  authored and

  ccadar

  committed
  a4250b2

  Copy full SHA for a4250b2

• [build] Add multilib package to build 32bit on ubuntu

  

  MartinNowack

  authored and

  ccadar

  committed
  2f9e24d

  Copy full SHA for 2f9e24d

• Link to the different runtime libraries depending on the application to test.

  Show description for 6bc2bf2
  

  MartinNowack

  authored and

  ccadar

  committed
  6bc2bf2

  Copy full SHA for 6bc2bf2

• [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] Always create KLEE runtime directory even if POSIX is not built

  

  MartinNowack

  authored and

  ccadar

  committed
  5b8e54a

  Copy full SHA for 5b8e54a

• [cmake] Remove clean_all target as not needed by any additional target

  

  MartinNowack

  authored and

  ccadar

  committed
  a00424e

  Copy full SHA for a00424e

• [cmake] Use clean command to remove generated doxygen files

  

  MartinNowack

  authored and

  ccadar

  committed
  d5cbc20

  Copy full SHA for d5cbc20

• [cmake] Remove several leftovers from old autoconf build system

  

  MartinNowack

  authored and

  ccadar

  committed
  a19b626

  Copy full SHA for a19b626

• [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 Oct 9, 2020

• Replace `NULL` with explicit `nullptr`

  

  MartinNowack

  authored and

  ccadar

  committed
  356b047

  Copy full SHA for 356b047

• Explicitly track global variables in getDirectCallTarget

  Show description for a6e225f
  

  MartinNowack

  authored and

  ccadar

  committed
  a6e225f

  Copy full SHA for a6e225f

• Add testcase for weakly linked globals

  

  MartinNowack

  authored and

  ccadar

  committed
  838b0b1

  Copy full SHA for 838b0b1

Commits on Sep 30, 2020

• Add check if KLEE is installed

  

  MartinNowack

  authored and

  ccadar

  committed
  07deecf

  Copy full SHA for 07deecf

• Use LLVM 6.0 for now on macOS

  Show description for a0e13d1
  

  MartinNowack

  authored and

  ccadar

  committed
  a0e13d1

  Copy full SHA for a0e13d1

• [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

• Update Dockerfile to use LLVM 9.0 and newer Ubuntu version

  

  MartinNowack

  authored and

  ccadar

  committed
  51d66e8

  Copy full SHA for 51d66e8

• Remove shebang from include

  

  MartinNowack

  authored and

  ccadar

  committed
  c2912cc

  Copy full SHA for c2912cc

• Fix LLVM 4.0 build patch

  

  MartinNowack

  authored and

  ccadar

  committed
  69b7c76

  Copy full SHA for 69b7c76

• Fix docker ID handling for sqlite

  

  MartinNowack

  authored and

  ccadar

  committed
  736c07e

  Copy full SHA for 736c07e

• Fix check if sqlite is installed under ubuntu as a systems package

  

  MartinNowack

  authored and

  ccadar

  committed
  0d15863

  Copy full SHA for 0d15863

• Fix check if LLVM is installed

  

  MartinNowack

  authored and

  ccadar

  committed
  abec20c

  Copy full SHA for abec20c

• Reduce compile time and size for LLVM build

  Show description for 2fad331
  

  MartinNowack

  authored and

  ccadar

  committed
  2fad331

  Copy full SHA for 2fad331

• Reduce the size of the libcxx image

  Show description for a434c1e
  

  MartinNowack

  authored and

  ccadar

  committed
  a434c1e

  Copy full SHA for a434c1e

• Remove explicit dependency on llvm and sanitizer

  Show description for 40ea072
  

  MartinNowack

  authored and

  ccadar

  committed
  40ea072

  Copy full SHA for 40ea072

Pagination

Previous

Next