Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

Commits on Mar 31, 2014

• say use a recent version of gcc

  Show description for 3c53f0f
  

  Xi Wang

  committed
  3c53f0f

  Copy full SHA for 3c53f0f

Commits on Jan 24, 2014

• Tell people to use Clang/LLVM 3.4 instead of SVN

  zeldovich

  committed
  2c4d75e

  Copy full SHA for 2c4d75e

Commits on Nov 12, 2013

• remove CVC4 from INSTALL

  Show description for a9e1da6
  

  Xi Wang

  committed
  a9e1da6

  Copy full SHA for a9e1da6

Commits on Nov 10, 2013

• MIT license

  Show description for d012fa1
  

  Xi Wang

  committed
  d012fa1

  Copy full SHA for d012fa1

Commits on Nov 4, 2013

• fix llvm build instructions

  Show description for 81ca1cc
  

  Xi Wang

  committed
  81ca1cc

  Copy full SHA for 81ca1cc

Commits on Oct 31, 2013

• tell to make install llvm

  

  hfiguiere

  authored and

  Xi Wang

  committed
  3533d7d

  Copy full SHA for 3533d7d

Commits on Aug 8, 2013

• more on INSTALL

  Show description for 5bf2084
  

  Xi Wang

  committed
  5bf2084

  Copy full SHA for 5bf2084

Commits on Jul 29, 2013

• remove unused files

  Show description for fe8c7b0
  

  Xi Wang

  committed
  fe8c7b0

  Copy full SHA for fe8c7b0

Commits on Jul 23, 2013

• sync llvm

  Show description for be093ef
  

  Xi Wang

  committed
  be093ef

  Copy full SHA for be093ef

Commits on May 8, 2013

• update README / INSTALL for poptck

  zeldovich

  committed
  1e1aa69

  Copy full SHA for 1e1aa69

Commits on Oct 12, 2012

• revise INSTALL

  

  Xi Wang

  committed
  f2b98cf

  Copy full SHA for f2b98cf

Commits on Oct 9, 2012

• improve INSTALL instructions

  zeldovich

  committed
  1898151

  Copy full SHA for 1898151

Commits on Oct 6, 2012

• update INSTALL file to indicate build works on Ubuntu with llvm-3.1-dev

  zeldovich

  committed
  785d716

  Copy full SHA for 785d716

• nit in INSTALL commands

  zeldovich

  committed
  b208353

  Copy full SHA for b208353

Commits on Oct 5, 2012

• update boolector to 1.5.116

  

  Xi Wang

  committed
  0f3a540

  Copy full SHA for 0f3a540

• add INSTALL

  

  Xi Wang

  committed
  054baed

  Copy full SHA for 054baed

Loading