Commits

Breadcrumbs

History for

onpatch-1

User selector

All users

All time

Commit History

Commits on Jan 1, 2023

• Format all

  Lipen

  committed
  59b34ef

  Copy full SHA for 59b34ef

Commits on Dec 15, 2020

• Print more about elimination performance

  msoos

  committed
  55d7e76

  Copy full SHA for 55d7e76

Commits on Feb 12, 2020

• Quell some clang warnings

  

  Brian Foley

  committed
  dbef978

  Copy full SHA for dbef978

Commits on Mar 7, 2018

• Resolve merge conflicts

  rgov

  committed
  99e19fc

  Copy full SHA for 99e19fc

Commits on Apr 27, 2017

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

  Robbepop

  committed
  a98e44f

  Copy full SHA for a98e44f

Commits on Apr 23, 2017

• Fixing Visual Studio build issues

  msoos

  committed
  25ac527

  Copy full SHA for 25ac527

Commits on Mar 19, 2016

• Specify default argument in the declaration not the friend declaration

  msoos

  committed
  26b58cf

  Copy full SHA for 26b58cf

Commits on Jun 22, 2015

• Fix declaration of Minisat::memUsedPeak for non-Linux systems

  rgov

  committed
  3db5894

  Copy full SHA for 3db5894

Commits on Apr 8, 2015

• Remove illegal (and not neccesary) friend definition to fix compilation under clang.

  

  jbransen

  authored and

  Dan Liew

  committed
  4d9462e

  Copy full SHA for 4d9462e

Commits on Apr 1, 2015

• Fixing problems with compilation with C++11 compilers

  msoos

  committed
  c554273

  Copy full SHA for c554273

Commits on Sep 25, 2013

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

  niklasso

  committed
  37dc6c6

  Copy full SHA for 37dc6c6

Commits on Nov 19, 2012

• Also relocate clauses on the subsumption queue.

  niklasso

  committed
  cd3a2d6

  Copy full SHA for cd3a2d6

Commits on Oct 31, 2012

• Silence DIMACS warnings by default.

  Show description for 386e4f3
  niklasso

  committed
  386e4f3

  Copy full SHA for 386e4f3

Commits on Mar 29, 2012

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

  niklasso

  committed
  080d3db

  Copy full SHA for 080d3db

Commits on Mar 16, 2012

• Introduce a minimum limit for learned clauses.

  niklasso

  committed
  149205a

  Copy full SHA for 149205a

Commits on Mar 8, 2012

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

  niklasso

  committed
  1732cff

  Copy full SHA for 1732cff

• New specialized 'addClause' for 4-clauses.

  niklasso

  committed
  f7cd4c6

  Copy full SHA for f7cd4c6

Commits on Feb 27, 2012

• Fix more parentheses warnings.

  niklasso

  committed
  146346b

  Copy full SHA for 146346b

• Patch submitted by Niklas Een.

  Show description for d699be0
  niklasso

  committed
  d699be0

  Copy full SHA for d699be0

Commits on Dec 5, 2011

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

  niklasso

  committed
  369fc3f

  Copy full SHA for 369fc3f

Commits on Oct 11, 2011

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

  Show description for a1f981a
  niklasso

  committed
  a1f981a

  Copy full SHA for a1f981a

Commits on Oct 5, 2011

• Add iterators to IntMap.

  niklasso

  committed
  30909ac

  Copy full SHA for 30909ac

Commits on Sep 26, 2011

• Simple way to disable extending models.

  niklasso

  committed
  1d2e1fc

  Copy full SHA for 1d2e1fc

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

  Show description for 0c0bb0d
  niklasso

  committed
  0c0bb0d

  Copy full SHA for 0c0bb0d

Commits on Sep 22, 2011

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

  niklasso

  committed
  1e0fd32

  Copy full SHA for 1e0fd32

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

  niklasso

  committed
  6820591

  Copy full SHA for 6820591

Commits on Sep 12, 2011

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

  niklasso

  committed
  4d3aa55

  Copy full SHA for 4d3aa55

Commits on Aug 10, 2011

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

  Show description for 5ecc5b0
  niklasso

  committed
  5ecc5b0

  Copy full SHA for 5ecc5b0

• Add a remove method to the Heap class.

  niklasso

  committed
  8d018ed

  Copy full SHA for 8d018ed

Commits on Jul 8, 2011

• Add an 'implies()' method that allows to check result of one propagation.

  niklasso

  committed
  94aef63

  Copy full SHA for 94aef63

• Change the heap implementation to use IntMaps for the heap-indices.

  niklasso

  committed
  5a01f08

  Copy full SHA for 5a01f08

Commits on Jul 6, 2011

• Add the 'has()' operation to IntMaps.

  niklasso

  committed
  9aa56a7

  Copy full SHA for 9aa56a7

Commits on Jul 1, 2011

• Complete re-factoring to use VMaps for Solver data.

  niklasso

  committed
  26f8354

  Copy full SHA for 26f8354

• Use VMap for variable activity.

  niklasso

  committed
  d4fea75

  Copy full SHA for d4fea75

• Add new IntMap class: essentially a restricted vector parametrized on keys.

  niklasso

  committed
  a451687

  Copy full SHA for a451687