Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Mar 3, 2021

• Merge pull request #1 from BrunoDutertre/master

  Show description for 4b14e95
  arminbiere

  authored
  4b14e95

  Copy full SHA for 4b14e95

• Fixed segfault

  BrunoDutertre

  committed
  a129f47

  Copy full SHA for a129f47

Commits on Apr 1, 2020

• new version

  

  Armin Biere

  committed
  0e8214d

  Copy full SHA for 0e8214d

• fixed

  

  Armin Biere

  committed
  ad1e65d

  Copy full SHA for ad1e65d

Commits on Mar 30, 2020

• tested again with clang

  

  Armin Biere

  committed
  3ce7dc3

  Copy full SHA for 3ce7dc3

• fixed

  

  Armin Biere

  committed
  3d9ca53

  Copy full SHA for 3d9ca53

• added paper

  

  Armin Biere

  committed
  18f1d45

  Copy full SHA for 18f1d45

• added reference to paper

  

  Armin Biere

  committed
  7119490

  Copy full SHA for 7119490

• imported everyting to github

  

  Armin Biere

  committed
  ec8357e

  Copy full SHA for ec8357e

• Initial commit

  arminbiere

  authored
  30ec3ae

  Copy full SHA for 30ec3ae