Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

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

• Parametrize vector class with respect to the "size-type".

  niklasso

  committed
  c008424

  Copy full SHA for c008424

Commits on May 30, 2011

• Lazier removal of deleted clauses in 'propagate()'.

  Show description for 7de6232
  niklasso

  committed
  7de6232

  Copy full SHA for 7de6232

Commits on May 25, 2011

• Forgot to remove declaration.

  niklasso

  committed
  5c24ca6

  Copy full SHA for 5c24ca6

• Refactor garbage collection slightly.

  niklasso

  committed
  fc702b3

  Copy full SHA for fc702b3

Commits on May 18, 2011

• Introduce new simpler freeze/thaw interface to SimpSolver.

  Show description for 33def9c
  niklasso

  committed
  33def9c

  Copy full SHA for 33def9c

Commits on May 6, 2011

• Don't allocate StreamBuffers on the stack.

  niklasso

  committed
  3652e21

  Copy full SHA for 3652e21

• Remove a warning on non-posix Windows builds.

  niklasso

  committed
  4c4b466

  Copy full SHA for 4c4b466

• Only call "limitXXX" if the user actually set a limit.

  Show description for a74ac81
  niklasso

  committed
  a74ac81

  Copy full SHA for a74ac81

Commits on Apr 28, 2011

• Portability fixes for resources, signals, etc + some cleanups.

  niklasso

  committed
  93b1810

  Copy full SHA for 93b1810

Commits on Apr 15, 2011

• Changed 'litRedundant()' to more efficient version with negative caching.

  Show description for 3ad9f5d
  niklasso

  committed
  3ad9f5d

  Copy full SHA for 3ad9f5d

Pagination

Previous

Next