Commits

Breadcrumbs

History for

onsvcomp

User selector

All users

Datepicker

All time

Commit History

Commits on Oct 17, 2015

• Install libc6-dev-i386 package when doing TravisCI or the Dockerfile

  Show description for 65ba2c9
  

  Dan Liew

  committed
  65ba2c9

  Copy full SHA for 65ba2c9

Commits on Oct 8, 2015

• Fix accidently hardcoding of LLVM version in Dockerfile

  

  Dan Liew

  committed
  6b0082b

  Copy full SHA for 6b0082b

Commits on Aug 31, 2015

• Delete old patches.

  Show description for 9c73644
  MartinNowack

  committed
  9c73644

  Copy full SHA for 9c73644

Commits on Jun 16, 2015

• added COVERAGE=0 to dockerfile, factored out coverage build flags to be only set when COVERAGE is, added the python server script to scripts

  kren1

  committed
  7844d5f

  Copy full SHA for 7844d5f

Commits on Apr 10, 2015

• The Docker image had python2 and python3 which is a waste of space

  Show description for 44cceb1
  

  Dan Liew

  committed
  44cceb1

  Copy full SHA for 44cceb1

• Don't upgrade pip or setuptools. Upgrading pip breaks the build because

  Show description for 05e0e3c
  

  Dan Liew

  committed
  05e0e3c

  Copy full SHA for 05e0e3c

• Add missing slash in last commit.

  

  Dan Liew

  committed
  8b18e54

  Copy full SHA for 8b18e54

• Update Dockerfile

  Show description for e9e866e
  dlg-yahoo

  committed
  e9e866e

  Copy full SHA for e9e866e

Commits on Apr 9, 2015

• Add initial Dockerfile for building a KLEE Docker image (uses LLVM3.4).

  Show description for 01933d1
  

  Dan Liew

  committed
  01933d1

  Copy full SHA for 01933d1

Loading