Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Jul 26, 2019

• Install emacs and vim in the Docker image

  

  ccadar

  authored and

  MartinNowack

  committed
  ba0a613

  Copy full SHA for ba0a613

Commits on Jul 25, 2019

• Solve issues with running as a command on docker run

  Show description for f75a694
  

  Denis-Gavrielov

  authored and

  MartinNowack

  committed
  f75a694

  Copy full SHA for f75a694

Commits on Jul 23, 2019

• Refactor ConstraintManager to more modern coding standards

  Show description for df33de1
  

  danielschemmel

  authored and

  ccadar

  committed
  df33de1

  Copy full SHA for df33de1

• Refactor ValueRange to more modern coding standards

  Show description for f36dc9c
  

  danielschemmel

  authored and

  ccadar

  committed
  f36dc9c

  Copy full SHA for f36dc9c

Commits on Jun 4, 2019

• Fixed incorrect comment in Travis file, we now use STP 2.3.3

  

  ccadar

  authored and

  MartinNowack

  committed
  3ef59a4

  Copy full SHA for 3ef59a4

• fix some incorrect first lines

  

  jbuening

  authored and

  MartinNowack

  committed
  9b8a54b

  Copy full SHA for 9b8a54b

• make endif guard naming consistent

  

  jbuening

  authored and

  MartinNowack

  committed
  8883718

  Copy full SHA for 8883718

• DiscretePdf.h: add include guards

  

  jbuening

  authored and

  MartinNowack

  committed
  8c229a1

  Copy full SHA for 8c229a1

• make include guard naming consistent

  

  jbuening

  authored and

  MartinNowack

  committed
  af97960

  Copy full SHA for af97960

• Fixed identifiers used in ifdefs to (1) not use reserved names and (2) use a consistent naming convention

  

  ccadar

  authored and

  MartinNowack

  committed
  823ee00

  Copy full SHA for 823ee00

• Remove parenthesis around returns, as reported and discussed in klee#891

  

  ccadar

  authored and

  MartinNowack

  committed
  32892a0

  Copy full SHA for 32892a0

Commits on May 31, 2019

• PTree: fix dump() method

  

  251

  authored and

  ccadar

  committed
  ade2bf8

  Copy full SHA for ade2bf8

Commits on May 30, 2019

• ExecutionState: remove fnAliases

  

  jbuening

  authored and

  ccadar

  committed
  31f965a

  Copy full SHA for 31f965a

• fix tests for macOS

  

  jbuening

  authored and

  ccadar

  committed
  07581cb

  Copy full SHA for 07581cb

• implement FunctionAliasPass

  

  jbuening

  authored and

  ccadar

  committed
  3629e3e

  Copy full SHA for 3629e3e

• remove klee_alias_function()

  Show description for 4b93a3e
  

  jbuening

  authored and

  ccadar

  committed
  4b93a3e

  Copy full SHA for 4b93a3e

Commits on May 28, 2019

• Implement handling of the llvm.fabs intrinsic

  

  futile

  authored and

  ccadar

  committed
  abf6542

  Copy full SHA for abf6542

Commits on May 7, 2019

• Update issue templates

  

  ccadar

  authored and

  MartinNowack

  committed
  0cf14d6

  Copy full SHA for 0cf14d6

Commits on May 6, 2019

• Removed outdated TODO.txt file. TODOs are now managed on GitHub.

  ccadar

  committed
  385a29e

  Copy full SHA for 385a29e

• Use 'latest' branch of FreeBSD packages on Cirrus CI.

  

  arrowd

  authored and

  ccadar

  committed
  b5295dc

  Copy full SHA for b5295dc

• Fix compilation of POSIX runtime on FreeBSD 11.

  

  arrowd

  authored and

  ccadar

  committed
  0f96bfe

  Copy full SHA for 0f96bfe

• Add 'freebsd' feature in lit.cfg and use it to XFAIL LargeReturnTypes.cpp test.

  

  arrowd

  authored and

  ccadar

  committed
  0edd1ec

  Copy full SHA for 0edd1ec

• Fix build of POSIX runtime on FreeBSD i386.

  

  arrowd

  authored and

  ccadar

  committed
  27781b6

  Copy full SHA for 27781b6

Commits on Apr 29, 2019

• Add a configuration file for Cirrus CI.

  

  arrowd

  authored and

  ccadar

  committed
  fd8ec5c

  Copy full SHA for fd8ec5c

• More FreeBSD related fixes to POSIX runtime.

  

  arrowd

  authored and

  ccadar

  committed
  5f8541e

  Copy full SHA for 5f8541e

• Fix gen-random-bout to build on FreeBSD.

  

  arrowd

  authored and

  ccadar

  committed
  e5743af

  Copy full SHA for e5743af

Commits on Apr 12, 2019

• Fix handling of time in grafana

  

  kren1

  authored and

  MartinNowack

  committed
  ff92221

  Copy full SHA for ff92221

Commits on Apr 8, 2019

• Use newer version of metaSMT in travis build

  

  MartinNowack

  authored and

  ccadar

  committed
  9df5fe2

  Copy full SHA for 9df5fe2

• Use newer versions of solver components used by MetaSMT

  Show description for dd4954f
  

  MartinNowack

  authored and

  ccadar

  committed
  dd4954f

  Copy full SHA for dd4954f

• Propagate correct version of metasmt to build script

  

  MartinNowack

  authored and

  ccadar

  committed
  0a052d6

  Copy full SHA for 0a052d6

• Add LD_LIBRARY_PATH to docker image

  Show description for 91e9b41
  

  qurben

  authored and

  MartinNowack

  committed
  91e9b41

  Copy full SHA for 91e9b41

Commits on Apr 5, 2019

• Add missing dependency for tabulate package

  

  MartinNowack

  authored and

  ccadar

  committed
  d759897

  Copy full SHA for d759897

• Add docker build as target.

  

  MartinNowack

  authored and

  ccadar

  committed
  8655264

  Copy full SHA for 8655264

• Remove CC as requirement; automatically set by sanitizer_compiler

  Show description for df03cb2
  

  MartinNowack

  authored and

  ccadar

  committed
  df03cb2

  Copy full SHA for df03cb2

Commits on Apr 4, 2019

• klee-stats: add - to to-csv/grafana options

  

  251

  authored and

  MartinNowack

  committed
  8bee70d

  Copy full SHA for 8bee70d

Pagination

Previous

Next