Commits

Branch selector

 master

User selector

All users

All time

Commit history

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

• Add klee-stats test, fix microseconds bug

  

  kren1

  authored and

  MartinNowack

  committed
  0f7b91f

  Copy full SHA for 0f7b91f

• Fix SQLite OSX

  

  kren1

  authored and

  MartinNowack

  committed
  dac0af0

  Copy full SHA for dac0af0

• Add MSan support for sqlite

  

  kren1

  authored and

  MartinNowack

  committed
  1e6b42f

  Copy full SHA for 1e6b42f

• add tabulate to OSX build

  

  251

  authored and

  MartinNowack

  committed
  e603936

  Copy full SHA for e603936

• some minor refactorings

  

  251

  authored and

  MartinNowack

  committed
  36e8826

  Copy full SHA for 36e8826

• Clean klee-stats, StatsTracker and cmake

  

  kren1

  authored and

  MartinNowack

  committed
  572d644

  Copy full SHA for 572d644

• Remove unused function

  

  kren1

  authored and

  MartinNowack

  committed
  b1f34f8

  Copy full SHA for b1f34f8

• Remove precision

  

  kren1

  authored and

  MartinNowack

  committed
  bed9f8d

  Copy full SHA for bed9f8d

• Remove compare-by

  

  kren1

  authored and

  MartinNowack

  committed
  e685700

  Copy full SHA for e685700

• Remove sort-by

  

  kren1

  authored and

  MartinNowack

  committed
  24bfe9c

  Copy full SHA for 24bfe9c

• Remove unused -sample-interval option

  

  kren1

  authored and

  MartinNowack

  committed
  eba4712

  Copy full SHA for eba4712

• Remove linechart for klee-stats

  

  kren1

  authored and

  MartinNowack

  committed
  3b8274f

  Copy full SHA for 3b8274f

• Add add -grafana option to klee-stats

  Show description for fcaf7fd
  

  kren1

  authored and

  MartinNowack

  committed
  fcaf7fd

  Copy full SHA for fcaf7fd

• Change the .stats format into sqlite3

  Show description for 56edf12
  

  kren1

  authored and

  MartinNowack

  committed
  56edf12

  Copy full SHA for 56edf12

Commits on Apr 2, 2019

• Add FreeBSD OS triple in RaiseAsm

  

  arrowd

  authored and

  MartinNowack

  committed
  e0d530a

  Copy full SHA for e0d530a

• Teach ConcreteTest.py to use `gmake` instead of `make` on FreeBSD

  

  arrowd

  authored and

  MartinNowack

  committed
  dc9a1cc

  Copy full SHA for dc9a1cc

• Handle __assert() function as handleAssertFail. This assert variant is used on FreeBSD

  

  arrowd

  authored and

  MartinNowack

  committed
  58ce905

  Copy full SHA for 58ce905