Commits

Branch selector

fuzzer

User selector

All users

All time

Commit history

Commits on May 22, 2019

• Removing warning

  msoos

  committed
  8d15474View commit details

  Copy full SHA for 8d15474

  Browse repository at this point

Commits on May 17, 2018

• Error introduced in minisat, oops

  msoos

  committed
  8e3a455View commit details

  Copy full SHA for 8e3a455

  Browse repository at this point

Commits on May 14, 2018

• Fixing cmake warning

  msoos

  committed
  7553c7dView commit details

  Copy full SHA for 7553c7d

  Browse repository at this point

Commits on May 13, 2018

• Removing some warnings

  msoos

  committed
  379f440View commit details

  Copy full SHA for 379f440

  Browse repository at this point

• Less warnings

  msoos

  committed
  093d75aView commit details

  Copy full SHA for 093d75a

  Browse repository at this point

Commits on Mar 23, 2018

• Fixing minisat output

  msoos

  committed
  738fef2View commit details

  Copy full SHA for 738fef2

  Browse repository at this point

Commits on Dec 7, 2017

• Fixing solution printing for minisat

  msoos

  committed
  2cafae8View commit details

  Copy full SHA for 2cafae8

  Browse repository at this point

• Removing zlib dependency from minisat

  msoos

  committed
  8f42813View commit details

  Copy full SHA for 8f42813

  Browse repository at this point

Commits on Nov 5, 2017

• Fixing minisat for MacOSX

  msoos

  committed
  01c8aa5View commit details

  Copy full SHA for 01c8aa5

  Browse repository at this point

Commits on Oct 25, 2017

• Making it work as a fuzzer

  msoos

  committed
  8b79f05View commit details

  Copy full SHA for 8b79f05

  Browse repository at this point

Commits on Apr 27, 2017

• Merge pull request #1 from Robbepop/master

  Show description for 0662095
  msoos

  authored
  0662095View commit details

  Copy full SHA for 0662095

  Browse repository at this point

• fixed GCC 6.3 warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix]

  Robbepop

  committed
  a98e44fView commit details

  Copy full SHA for a98e44f

  Browse repository at this point

Commits on Apr 23, 2017

• Fixing appveyor build

  msoos

  committed
  5566d44View commit details

  Copy full SHA for 5566d44

  Browse repository at this point

• Adding appveyor for minisat

  msoos

  committed
  7d4cb54View commit details

  Copy full SHA for 7d4cb54

  Browse repository at this point

• Fixing Visual Studio build issues

  msoos

  committed
  25ac527View commit details

  Copy full SHA for 25ac527

  Browse repository at this point

Commits on Mar 19, 2016

• Specify default argument in the declaration not the friend declaration

  msoos

  committed
  26b58cfView commit details

  Copy full SHA for 26b58cf

  Browse repository at this point

Commits on Sep 25, 2013

• Support returning actual peak-memory instead of reverting to current usage

  niklasso

  committed
  37dc6c6View commit details

  Copy full SHA for 37dc6c6

  Browse repository at this point

Commits on Nov 19, 2012

• Also relocate clauses on the subsumption queue.

  niklasso

  committed
  cd3a2d6View commit details

  Copy full SHA for cd3a2d6

  Browse repository at this point

Commits on Oct 31, 2012

• Silence DIMACS warnings by default.

  Show description for 386e4f3
  niklasso

  committed
  386e4f3View commit details

  Copy full SHA for 386e4f3

  Browse repository at this point

Commits on Mar 29, 2012

• Move the random-generator to a more generic location.

  niklasso

  committed
  080d3dbView commit details

  Copy full SHA for 080d3db

  Browse repository at this point

Commits on Mar 16, 2012

• Introduce a minimum limit for learned clauses.

  niklasso

  committed
  149205aView commit details

  Copy full SHA for 149205a

  Browse repository at this point

Commits on Mar 8, 2012

• Introduce literal sets (LSet) and use it to store 'conflict'.

  niklasso

  committed
  1732cffView commit details

  Copy full SHA for 1732cff

  Browse repository at this point

• New specialized 'addClause' for 4-clauses.

  niklasso

  committed
  f7cd4c6View commit details

  Copy full SHA for f7cd4c6

  Browse repository at this point

Commits on Feb 27, 2012

• Fix more parentheses warnings.

  niklasso

  committed
  146346bView commit details

  Copy full SHA for 146346b

  Browse repository at this point

• Patch submitted by Niklas Een.

  Show description for d699be0
  niklasso

  committed
  d699be0View commit details

  Copy full SHA for d699be0

  Browse repository at this point

Commits on Dec 5, 2011

• Fix an ancient bug in 'SimpSolver::implied()'.

  niklasso

  committed
  369fc3fView commit details

  Copy full SHA for 369fc3f

  Browse repository at this point

Commits on Oct 11, 2011

• Revert "Extend a couple of parsing functions to treat newline as significant."

  Show description for a1f981a
  niklasso

  committed
  a1f981aView commit details

  Copy full SHA for a1f981a

  Browse repository at this point

Commits on Oct 5, 2011

• Add iterators to IntMap.

  niklasso

  committed
  30909acView commit details

  Copy full SHA for 30909ac

  Browse repository at this point

Commits on Sep 26, 2011

• Simple way to disable extending models.

  niklasso

  committed
  1d2e1fcView commit details

  Copy full SHA for 1d2e1fc

  Browse repository at this point

• Add preliminary support for "releaseVar()" method.

  Show description for 0c0bb0d
  niklasso

  committed
  0c0bb0dView commit details

  Copy full SHA for 0c0bb0d

  Browse repository at this point

Commits on Sep 22, 2011

• Generalize remove/find to work on vector-like types with unsigned size.

  niklasso

  committed
  1e0fd32View commit details

  Copy full SHA for 1e0fd32

  Browse repository at this point

• Revert to using copy constructor in Vec::push() rather than assignment.

  niklasso

  committed
  6820591View commit details

  Copy full SHA for 6820591

  Browse repository at this point

Commits on Sep 12, 2011

• Extend a couple of parsing functions to treat newline as significant.

  niklasso

  committed
  4d3aa55View commit details

  Copy full SHA for 4d3aa55

  Browse repository at this point

Commits on Aug 10, 2011

• Main: Allow writing dimacs at the end of interrupted solve.

  Show description for 5ecc5b0
  niklasso

  committed
  5ecc5b0View commit details

  Copy full SHA for 5ecc5b0

  Browse repository at this point

• Add a remove method to the Heap class.

  niklasso

  committed
  8d018edView commit details

  Copy full SHA for 8d018ed

  Browse repository at this point