Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

Commits on Nov 14, 2013

• fix building lingeling on FreeBSD

  Show description for 131da78
  

  Xi Wang

  committed
  131da78

  Copy full SHA for 131da78

Commits on Nov 10, 2013

• skip building boolector given --with-smtlib

  

  Xi Wang

  committed
  2c65329

  Copy full SHA for 2c65329

Commits on Oct 31, 2013

• only make Lingeling necessary files

  Show description for 9fbdeb8
  

  Xi Wang

  committed
  9fbdeb8

  Copy full SHA for 9fbdeb8

Commits on Oct 30, 2013

• Use $(SED) instead of sed.

  Show description for 51de1ea
  zeldovich

  committed
  51de1ea

  Copy full SHA for 51de1ea

Commits on Jan 27, 2013

• fix scripts on FreeBSD

  Show description for e30baac
  

  Xi Wang

  committed
  e30baac

  Copy full SHA for e30baac

Commits on Jan 2, 2013

• add lit

  Show description for c5b2bd9
  

  Xi Wang

  committed
  c5b2bd9

  Copy full SHA for c5b2bd9

Commits on Oct 5, 2012

• add boolector tarballs to dist

  

  Xi Wang

  committed
  4b9ab15

  Copy full SHA for 4b9ab15

• add boolector tarballs

  Show description for 881577b
  

  Xi Wang

  committed
  881577b

  Copy full SHA for 881577b

• tweaking makefile for boolector

  

  Xi Wang

  committed
  b8cccb2

  Copy full SHA for b8cccb2

• update boolector to 1.5.116

  

  Xi Wang

  committed
  0f3a540

  Copy full SHA for 0f3a540

Commits on Oct 1, 2012

• upgrade to Boolector 1.5

  Show description for b29fbf1
  

  Xi Wang

  committed
  b29fbf1

  Copy full SHA for b29fbf1

Commits on Aug 17, 2012

• upgrade z3 to 4.1

  

  Xi Wang

  committed
  a3aa6a1

  Copy full SHA for a3aa6a1

Commits on May 18, 2012

• upgrade precosat to 576-7e5e66f-120112

  Show description for ab4d1dd
  

  Xi Wang

  committed
  ab4d1dd

  Copy full SHA for ab4d1dd

Commits on May 11, 2012

• update to Z3 4.0

  Show description for e98c145
  

  Xi Wang

  committed
  e98c145

  Copy full SHA for e98c145

Commits on May 5, 2012

• import configure script

  Show description for 5ef6daf
  

  Xi Wang

  committed
  5ef6daf

  Copy full SHA for 5ef6daf

Loading