Commits

Breadcrumbs

History for

onemscripten

User selector

All users

All time

Commit history

Commits on Jan 9, 2025

• fix(minisat): :rotating_light: Solver.cc : add required spaces

  Show description for e86e8bc
  cunneen

  committed
  e86e8bcView commit details

  Copy full SHA for e86e8bc

  View code at this pointBrowse repository at this point

• fix(minisat): :rotating_light: Apply upstream minisat PR to fix compile issues

  Show description for fef13b4
  cunneen

  committed
  fef13b4View commit details

  Copy full SHA for fef13b4

  View code at this pointBrowse repository at this point

Commits on Dec 9, 2014

• Make minisat compilable on OS X

  Show description for 9bd7aaf
  dgreensp

  committed
  9bd7aafView commit details

  Copy full SHA for 9bd7aaf

  View code at this pointBrowse repository at this point

Commits on Dec 2, 2014

• Appease the C++ compiler

  dgreensp

  committed
  b7ea379View commit details

  Copy full SHA for b7ea379

  View code at this pointBrowse repository at this point

Commits on Nov 8, 2014

• We don’t like fprintf with emscripten

  dgreensp

  committed
  0e9603eView commit details

  Copy full SHA for 0e9603e

  View code at this pointBrowse repository at this point

• jgalenson’s original patches for emscripten

  Show description for e150045
  dgreensp

  committed
  e150045View commit details

  Copy full SHA for e150045

  View code at this pointBrowse 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

  View code at this pointBrowse 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

  View code at this pointBrowse 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

  View code at this pointBrowse 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

  View code at this pointBrowse 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

  View code at this pointBrowse 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

  View code at this pointBrowse repository at this point

• New specialized 'addClause' for 4-clauses.

  niklasso

  committed
  f7cd4c6View commit details

  Copy full SHA for f7cd4c6

  View code at this pointBrowse repository at this point

Commits on Feb 27, 2012

• Fix more parentheses warnings.

  niklasso

  committed
  146346bView commit details

  Copy full SHA for 146346b

  View code at this pointBrowse repository at this point

• Patch submitted by Niklas Een.

  Show description for d699be0
  niklasso

  committed
  d699be0View commit details

  Copy full SHA for d699be0

  View code at this pointBrowse 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

  View code at this pointBrowse 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

  View code at this pointBrowse repository at this point

Commits on Oct 5, 2011

• Add iterators to IntMap.

  niklasso

  committed
  30909acView commit details

  Copy full SHA for 30909ac

  View code at this pointBrowse 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

  View code at this pointBrowse repository at this point

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

  Show description for 0c0bb0d
  niklasso

  committed
  0c0bb0dView commit details

  Copy full SHA for 0c0bb0d

  View code at this pointBrowse 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

  View code at this pointBrowse 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

  View code at this pointBrowse 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

  View code at this pointBrowse 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

  View code at this pointBrowse repository at this point

• Add a remove method to the Heap class.

  niklasso

  committed
  8d018edView commit details

  Copy full SHA for 8d018ed

  View code at this pointBrowse repository at this point

Commits on Jul 8, 2011

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

  niklasso

  committed
  94aef63View commit details

  Copy full SHA for 94aef63

  View code at this pointBrowse repository at this point

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

  niklasso

  committed
  5a01f08View commit details

  Copy full SHA for 5a01f08

  View code at this pointBrowse repository at this point

Commits on Jul 6, 2011

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

  niklasso

  committed
  9aa56a7View commit details

  Copy full SHA for 9aa56a7

  View code at this pointBrowse repository at this point

Commits on Jul 1, 2011

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

  niklasso

  committed
  26f8354View commit details

  Copy full SHA for 26f8354

  View code at this pointBrowse repository at this point

• Use VMap for variable activity.

  niklasso

  committed
  d4fea75View commit details

  Copy full SHA for d4fea75

  View code at this pointBrowse repository at this point

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

  niklasso

  committed
  a451687View commit details

  Copy full SHA for a451687

  View code at this pointBrowse repository at this point

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

  niklasso

  committed
  c008424View commit details

  Copy full SHA for c008424

  View code at this pointBrowse repository at this point

Commits on May 30, 2011

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

  Show description for 7de6232
  niklasso

  committed
  7de6232View commit details

  Copy full SHA for 7de6232

  View code at this pointBrowse repository at this point

Commits on May 25, 2011

• Forgot to remove declaration.

  niklasso

  committed
  5c24ca6View commit details

  Copy full SHA for 5c24ca6

  View code at this pointBrowse repository at this point

• Refactor garbage collection slightly.

  niklasso

  committed
  fc702b3View commit details

  Copy full SHA for fc702b3

  View code at this pointBrowse repository at this point