Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Jan 15, 2020

• Simplified cloning array

  cbettinger

  committed
  e0eb85e

  Copy full SHA for e0eb85e

Commits on Jan 9, 2020

• Copy args array before appending the input file

  MGmotors

  committed
  ecba4d5

  Copy full SHA for ecba4d5

Commits on Nov 10, 2019

• Unified minisat-wasm with spass-wasm

  cbettinger

  committed
  6bdfcd5

  Copy full SHA for 6bdfcd5

• Added newline to EOF

  cbettinger

  committed
  b62baae

  Copy full SHA for b62baae

Commits on Nov 7, 2019

• Readded and updated LICENSE

  MGmotors

  committed
  24cf1c9

  Copy full SHA for 24cf1c9

• Some improvements to README

  MGmotors

  committed
  ec1e2c0

  Copy full SHA for ec1e2c0

• updated readme.md

  MGmotors

  committed
  6086e07

  Copy full SHA for 6086e07

• added demo

  MGmotors

  committed
  eb70b4e

  Copy full SHA for eb70b4e

• added wrapper

  Show description for e6e5629
  MGmotors

  committed
  e6e5629

  Copy full SHA for e6e5629

• updated sources to be compileable with emcc

  Show description for 23890a4
  MGmotors

  committed
  23890a4

  Copy full SHA for 23890a4

• updated makefile to use emcc if emmake is used

  Show description for 6bf559b
  MGmotors

  committed
  6bf559b

  Copy full SHA for 6bf559b

• initialize with miniSAT sources

  MGmotors

  committed
  f93fc37

  Copy full SHA for f93fc37

• removed now unneeded files

  MGmotors

  committed
  a4087cc

  Copy full SHA for a4087cc

Commits on Jul 29, 2018

• Changed license from MIT to ISC

  cbettinger

  authored
  a551324

  Copy full SHA for a551324

Commits on Jun 29, 2018

• Added tested platforms to README

  cbettinger

  committed
  cc2e91f

  Copy full SHA for cc2e91f

• Added test case including a DIMACS comment line

  cbettinger

  committed
  12f1288

  Copy full SHA for 12f1288

• Added missing make dependencies

  cbettinger

  committed
  da359ff

  Copy full SHA for da359ff

• Call apply.sh without chmod +x

  cbettinger

  committed
  5e00f55

  Copy full SHA for 5e00f55

• Fixed quote signs

  cbettinger

  committed
  ea2d880

  Copy full SHA for ea2d880

• Added usage

  cbettinger

  committed
  033b9ac

  Copy full SHA for 033b9ac

• Restructured headings

  cbettinger

  committed
  9d9dbe4

  Copy full SHA for 9d9dbe4

• Added MiniSat original license

  cbettinger

  committed
  1f674e2

  Copy full SHA for 1f674e2

Commits on Jun 28, 2018

• Added .gitignore

  cbettinger

  committed
  3374f75

  Copy full SHA for 3374f75

• Initial commit

  cbettinger

  committed
  fd44085

  Copy full SHA for fd44085

• Initial commit

  cbettinger

  authored
  8d56386

  Copy full SHA for 8d56386