Commits

Branch selector

 master

User selector

All users

All time

Commit History

Commits on Jan 1, 2023

• Add Github Actions workflow

  Lipen

  committed
  804237b

  Copy full SHA for 804237b

• Remove unnecessary stuff

  Lipen

  committed
  5669fce

  Copy full SHA for 5669fce

• Add Meson build file

  Lipen

  committed
  bc5a560

  Copy full SHA for bc5a560

• Format all

  Lipen

  committed
  59b34ef

  Copy full SHA for 59b34ef

Commits on Aug 23, 2021

• Fixing static/dynamic Windows builds

  msoos

  committed
  43079d2

  Copy full SHA for 43079d2

Commits on Dec 15, 2020

• Print more about elimination performance

  msoos

  committed
  55d7e76

  Copy full SHA for 55d7e76

Commits on Sep 19, 2020

• Merge branch 'stp-master'

  msoos

  committed
  8ac9a99

  Copy full SHA for 8ac9a99

Commits on Sep 2, 2020

• Fixing exported definitions

  msoos

  committed
  37158a3

  Copy full SHA for 37158a3

• Adding uninstall capability

  msoos

  committed
  5a38d36

  Copy full SHA for 5a38d36

• Revert "CMakeLists: support different lib dirs"

  Show description for 5b16571
  msoos

  committed
  5b16571

  Copy full SHA for 5b16571

• Removing second STATICCOMPILE

  msoos

  committed
  5f9111f

  Copy full SHA for 5f9111f

• CMakeLists: support different lib dirs

  Show description for 1193f18
  

  Jiri Slaby

  authored and

  msoos

  committed
  1193f18

  Copy full SHA for 1193f18

Commits on Sep 1, 2020

• Merge pull request #5 from stp/stp-master

  Show description for 16d13d0
  msoos

  authored
  16d13d0

  Copy full SHA for 16d13d0

Commits on Aug 31, 2020

• Updating to fix build

  msoos

  committed
  dd31450

  Copy full SHA for dd31450

• Export minisat project for other cmake builds

  msoos

  committed
  a2c6fe6

  Copy full SHA for a2c6fe6

• Fixing static vs. dynamic compile

  msoos

  committed
  93da0f0

  Copy full SHA for 93da0f0

• Updating to fix build

  msoos

  committed
  f7d16b9

  Copy full SHA for f7d16b9

• Export minisat project for other cmake builds

  msoos

  committed
  b69cb5f

  Copy full SHA for b69cb5f

Commits on Feb 12, 2020

• Merge pull request #4 from bpfoley/clang-warnings

  Show description for 47baffb
  msoos

  authored
  47baffb

  Copy full SHA for 47baffb

• Quell some clang warnings

  

  Brian Foley

  committed
  dbef978

  Copy full SHA for dbef978

Commits on Feb 28, 2019

• Fixing static vs. dynamic compile

  msoos

  committed
  ef004b4

  Copy full SHA for ef004b4

Commits on Jul 2, 2018

• Merge pull request #2 from MartinNowack/patch-1

  Show description for a259927
  rgov

  authored
  a259927

  Copy full SHA for a259927

Commits on Jun 29, 2018

• Fix linking of minisat as dependency library on MacOSX

  Show description for 1aa1e87
  MartinNowack

  authored
  1aa1e87

  Copy full SHA for 1aa1e87

Commits on Mar 7, 2018

• Merge branch 'msoos-master'

  rgov

  committed
  29bb7bc

  Copy full SHA for 29bb7bc

• Resolve merge conflicts

  rgov

  committed
  99e19fc

  Copy full SHA for 99e19fc

Commits on Apr 27, 2017

• Merge pull request #1 from Robbepop/master

  Show description for 0662095
  msoos

  authored
  0662095

  Copy full SHA for 0662095

• 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 appveyor build

  msoos

  committed
  5566d44

  Copy full SHA for 5566d44

• Adding appveyor for minisat

  msoos

  committed
  7d4cb54

  Copy full SHA for 7d4cb54

• 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