Commits

Branch selector

master

User selector

All users

All time

Commit history

Commits on Jan 31, 2019

• add bibtex to README

  scott-cotton

  authored
  7d72a3fView commit details

  Copy full SHA for 7d72a3f

  Browse repository at this point

Commits on Jan 30, 2019

• Update README

  Show description for e0c8e93
  scott-cotton

  authored
  e0c8e93View commit details

  Copy full SHA for e0c8e93

  Browse repository at this point

Commits on Jan 25, 2019

• ditto

  wsc1

  committed
  ab553a9View commit details

  Copy full SHA for ab553a9

  Browse repository at this point

• add years to license

  wsc1

  committed
  e395bb1View commit details

  Copy full SHA for e395bb1

  Browse repository at this point

• de-commercialize/community edition + licensing change

  wsc1

  committed
  fd9e91dView commit details

  Copy full SHA for fd9e91d

  Browse repository at this point

Commits on Dec 14, 2018

• aiger bugfix and usability improvements

  Show description for 83b1914
  wsc1

  committed
  83b1914View commit details

  Copy full SHA for 83b1914

  Browse repository at this point

Commits on Dec 8, 2018

• cleanup fix

  wsc1

  committed
  f4146b0View commit details

  Copy full SHA for f4146b0

  Browse repository at this point

• relax binary aiger and requirements

  Show description for 92f6bc9
  wsc1

  committed
  92f6bc9View commit details

  Copy full SHA for 92f6bc9

  Browse repository at this point

Commits on Dec 4, 2018

• cleanup

  Show description for 3b3839c
  wsc1

  committed
  3b3839cView commit details

  Copy full SHA for 3b3839c

  Browse repository at this point

• rand cuber

  Show description for 9888395
  wsc1

  committed
  9888395View commit details

  Copy full SHA for 9888395

  Browse repository at this point

Commits on Dec 3, 2018

• test scope fix/sudoku test formatting

  Show description for b0d0306
  wsc1

  committed
  b0d0306View commit details

  Copy full SHA for b0d0306

  Browse repository at this point

Commits on Nov 26, 2018

• timeout precision

  Show description for 2671b84
  wsc1

  committed
  2671b84View commit details

  Copy full SHA for 2671b84

  Browse repository at this point

• remove unnecessary locking

  Show description for 54b0db1
  wsc1

  committed
  54b0db1View commit details

  Copy full SHA for 54b0db1

  Browse repository at this point

• rename unroll test file as well

  wsc1

  committed
  2075890View commit details

  Copy full SHA for 2075890

  Browse repository at this point

• rename unroll file to roll.

  wsc1

  committed
  889b960View commit details

  Copy full SHA for 889b960

  Browse repository at this point

• linter fixes and doc improvements.

  wsc1

  committed
  2aee9e1View commit details

  Copy full SHA for 2aee9e1

  Browse repository at this point

Commits on Nov 24, 2018

• Untest on unsat bugfix

  Show description for 8ddfb9f
  wsc1

  committed
  8ddfb9fView commit details

  Copy full SHA for 8ddfb9f

  Browse repository at this point

• doc typo fix.

  wsc1

  committed
  f9dc12eView commit details

  Copy full SHA for f9dc12e

  Browse repository at this point

• incremental usability:

  Show description for 7def41c
  wsc1

  committed
  7def41cView commit details

  Copy full SHA for 7def41c

  Browse repository at this point

Commits on Nov 23, 2018

• documentation improvement.

  wsc1

  committed
  b725d27View commit details

  Copy full SHA for b725d27

  Browse repository at this point

• Merge branch 'master' of github.com:IRIFrance/gini

  wsc1

  committed
  82babb1View commit details

  Copy full SHA for 82babb1

  Browse repository at this point

• minor doc typo fix.

  wsc1

  committed
  c67864fView commit details

  Copy full SHA for c67864f

  Browse repository at this point

Commits on Nov 21, 2018

• Merge pull request #12 from irifrance/m

  Show description for 00da991
  wsc1

  authored
  00da991View commit details

  Copy full SHA for 00da991

  Browse repository at this point

• incremental checkmodel compromise

  Show description for 385e5d9
  wsc1

  committed
  385e5d9View commit details

  Copy full SHA for 385e5d9

  Browse repository at this point

• forgot a file...

  wsc1

  committed
  bdbd832View commit details

  Copy full SHA for bdbd832

  Browse repository at this point

• Merge branch 's' into m

  wsc1

  committed
  9ce84eeView commit details

  Copy full SHA for 9ce84ee

  Browse repository at this point

• incremental improvements

  Show description for 952f0cf
  wsc1

  committed
  952f0cfView commit details

  Copy full SHA for 952f0cf

  Browse repository at this point

Commits on Nov 20, 2018

• minor doc improvements

  wsc1

  committed
  376a6a8View commit details

  Copy full SHA for 376a6a8

  Browse repository at this point

Commits on Nov 19, 2018

• add activation literals note to README

  wsc1

  committed
  72b6f5cView commit details

  Copy full SHA for 72b6f5c

  Browse repository at this point

• Merge pull request #11 from irifrance/m

  Show description for 605ce96
  wsc1

  authored
  605ce96View commit details

  Copy full SHA for 605ce96

  Browse repository at this point

• remove cnfsimp test as it is no longer part of the PR

  wsc1

  committed
  340793eView commit details

  Copy full SHA for 340793e

  Browse repository at this point

• remove cnfsimp, it's too immature to include it

  wsc1

  committed
  77a001aView commit details

  Copy full SHA for 77a001a

  Browse repository at this point

• torture tested and debugged activations

  Show description for 84bc212
  wsc1

  committed
  84bc212View commit details

  Copy full SHA for 84bc212

  Browse repository at this point

• hardcore activation test

  Show description for 3e7c5cc
  wsc1

  committed
  3e7c5ccView commit details

  Copy full SHA for 3e7c5cc

  Browse repository at this point

• much activation debugging

  Show description for 2fc655f
  wsc1

  committed
  2fc655fView commit details

  Copy full SHA for 2fc655f

  Browse repository at this point