Commits

Branch selector

emscripten

User selector

All users

All time

Commit history

Commits on Feb 4, 2025

• docs: :memo: add note on emscripten version

  cunneen

  committed
  c16a22fView commit details

  Copy full SHA for c16a22f

  Browse repository at this point

Commits on Jan 16, 2025

• style(minisat-meteor): :pencil2: trivial: Makefile.meteor - fix typo

  cunneen

  committed
  581435aView commit details

  Copy full SHA for 581435a

  Browse repository at this point

Commits on Jan 15, 2025

• perf(minisat-meteor): :zap: 236KB => 116KB

  Show description for 8dc794e
  cunneen

  committed
  8dc794eView commit details

  Copy full SHA for 8dc794e

  Browse repository at this point

Commits on Jan 12, 2025

• chore: :see_no_evil: gitignore: added node_modules, .vscode and .history

  cunneen

  committed
  4cbe34bView commit details

  Copy full SHA for 4cbe34b

  Browse repository at this point

Commits on Jan 10, 2025

• feat(minisat-meteor): :sparkles: tests passing

  cunneen

  committed
  9068151View commit details

  Copy full SHA for 9068151

  Browse repository at this point

Commits on Jan 9, 2025

• Merge commit '88ba49cf188c6d0f255e1fbbfbe4ed438dc1c82b' into emscripten

  cunneen

  committed
  ccc0659View commit details

  Copy full SHA for ccc0659

  Browse repository at this point

• refactor(minisat-meteor): :recycle: Update emscripten flags for latest version (3.1.7.4)

  Show description for 88ba49c
  cunneen

  committed
  88ba49cView commit details

  Copy full SHA for 88ba49c

  Browse repository at this point

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

  Show description for e86e8bc
  cunneen

  committed
  e86e8bcView commit details

  Copy full SHA for e86e8bc

  Browse 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

  Browse repository at this point

Commits on Mar 6, 2015

• Disable non-functional heap instrumentation

  Show description for e707dd6
  dgreensp

  committed
  e707dd6View commit details

  Copy full SHA for e707dd6

  Browse repository at this point

Commits on Mar 5, 2015

• Use a dummy "0" variable instead of saying v-1

  Show description for 26e00d4
  dgreensp

  committed
  26e00d4View commit details

  Copy full SHA for 26e00d4

  Browse repository at this point

Commits on Mar 4, 2015

• cMinisat -> C_MINISAT

  Show description for fb3e315
  dgreensp

  committed
  fb3e315View commit details

  Copy full SHA for fb3e315

  Browse repository at this point

• Add a point to the README

  dgreensp

  committed
  0dbc53aView commit details

  Copy full SHA for 0dbc53a

  Browse repository at this point

• smaller heading

  dgreensp

  committed
  2778c02View commit details

  Copy full SHA for 2778c02

  Browse repository at this point

• README is markdown

  dgreensp

  committed
  b255008View commit details

  Copy full SHA for b255008

  Browse repository at this point

• Document how to build MiniSat for Meteor

  dgreensp

  committed
  f3054a8View commit details

  Copy full SHA for f3054a8

  Browse repository at this point

Commits on Jan 28, 2015

• Code for reading conflict clause

  Show description for 68fe932
  dgreensp

  committed
  68fe932View commit details

  Copy full SHA for 68fe932

  Browse repository at this point

Commits on Jan 6, 2015

• Take away the -g flag again

  Show description for 0f65297
  dgreensp

  committed
  0f65297View commit details

  Copy full SHA for 0f65297

  Browse repository at this point

• solveAssuming, ensureVar, retireVar

  dgreensp

  committed
  3a9ff7cView commit details

  Copy full SHA for 3a9ff7c

  Browse repository at this point

Commits on Jan 4, 2015

• Allow reading off solution

  dgreensp

  committed
  0539afeView commit details

  Copy full SHA for 0539afe

  Browse repository at this point

Commits on Jan 2, 2015

• Add emscripten make script and C functions

  dgreensp

  committed
  b0251beView commit details

  Copy full SHA for b0251be

  Browse 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

  Browse repository at this point

Commits on Dec 2, 2014

• Appease the C++ compiler

  dgreensp

  committed
  b7ea379View commit details

  Copy full SHA for b7ea379

  Browse 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

  Browse repository at this point

• Prevent warning by removing `-lz` from Makefile

  dgreensp

  committed
  f1eab5dView commit details

  Copy full SHA for f1eab5d

  Browse repository at this point

• jgalenson’s original patches for emscripten

  Show description for e150045
  dgreensp

  committed
  e150045View commit details

  Copy full SHA for e150045

  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