Commits

Branch selector

logger

User selector

All users

All time

Commit history

Commits on Oct 20, 2016

• Simple logger to CSV

  cernoch

  committed
  8ca155cView commit details

  Copy full SHA for 8ca155c

  Browse repository at this point

Commits on Oct 17, 2016

• GIT ignores binary files

  cernoch

  committed
  57af9b7View commit details

  Copy full SHA for 57af9b7

  Browse repository at this point

Commits on Sep 1, 2016

• Bugfix: MINGW32 make refuses to get the substitutions

  cernoch

  committed
  e8c7bdeView commit details

  Copy full SHA for e8c7bde

  Browse repository at this point

• Convenience functions for lbool

  cernoch

  committed
  addf226View commit details

  Copy full SHA for addf226

  Browse repository at this point

Commits on Aug 29, 2016

• Quick and ugly fix for MINGW32 platform

  cernoch

  committed
  09cc89bView commit details

  Copy full SHA for 09cc89b

  Browse repository at this point

• C++ 2011 preprocessor is happy about the macro expansions

  cernoch

  committed
  973ca81View commit details

  Copy full SHA for 973ca81

  Browse repository at this point

Commits on Aug 28, 2016

• Bugfix: SimpSolver can be built on Linux

  cernoch

  committed
  1de0fccView commit details

  Copy full SHA for 1de0fcc

  Browse repository at this point

• MINGW platform supported

  cernoch

  committed
  e4a91d7View commit details

  Copy full SHA for e4a91d7

  Browse repository at this point

• Remove zlib from dependencies

  cernoch

  committed
  6413288View commit details

  Copy full SHA for 6413288

  Browse repository at this point

• Consistent usage of stdout and stderr

  cernoch

  committed
  ff54068View commit details

  Copy full SHA for ff54068

  Browse repository at this point

Commits on Jul 10, 2010

• Remove a file that is not used in main branch.

  niklasso

  committed
  eb01ad6View commit details

  Copy full SHA for eb01ad6

  Browse repository at this point

• Add a first version of release notes.

  niklasso

  committed
  d0dd522View commit details

  Copy full SHA for d0dd522

  Browse repository at this point

• Fixing weirdness of RegionAllocator.

  niklasso

  committed
  d4c8795View commit details

  Copy full SHA for d4c8795

  Browse repository at this point

Commits on Jun 23, 2010

• Split memory-usage functions into current and peak versions.

  Show description for fa6a96c
  niklasso

  committed
  fa6a96cView commit details

  Copy full SHA for fa6a96c

  Browse repository at this point

Commits on Jun 10, 2010

• Non-branching implementations of ternary conjunction/disjunction.

  Show description for 1cc7ae6
  niklasso

  committed
  1cc7ae6View commit details

  Copy full SHA for 1cc7ae6

  Browse repository at this point

Commits on May 22, 2010

• In 'toDimacs()', handle case where solver is in a contradictory state.

  niklasso

  committed
  272eea5View commit details

  Copy full SHA for 272eea5

  Browse repository at this point

Commits on May 10, 2010

• Move DIMACS writing function from SimpSolver to Solver.

  niklasso

  committed
  909de43View commit details

  Copy full SHA for 909de43

  Browse repository at this point

Commits on May 2, 2010

• Fix exit-values for non optimized builds.

  niklasso

  committed
  a4ed186View commit details

  Copy full SHA for a4ed186

  Browse repository at this point

Commits on Apr 10, 2010

• Added some missing comments.

  niklasso

  committed
  7fde68dView commit details

  Copy full SHA for 7fde68d

  Browse repository at this point

• First tweak of the README file.

  niklasso

  committed
  cf79f61View commit details

  Copy full SHA for cf79f61

  Browse repository at this point

• Make it it possible to use traditional restart sequence.

  niklasso

  committed
  85bf53aView commit details

  Copy full SHA for 85bf53a

  Browse repository at this point

• Add possibility to control the application of phase-saving.

  Show description for 2410de9
  niklasso

  committed
  2410de9View commit details

  Copy full SHA for 2410de9

  Browse repository at this point

• Made Solver verbosity default 0.

  niklasso

  committed
  e7c0ec1View commit details

  Copy full SHA for e7c0ec1

  Browse repository at this point

• Correct indentation for help-printing of boolean options.

  niklasso

  committed
  cc10435View commit details

  Copy full SHA for cc10435

  Browse repository at this point

Commits on Mar 18, 2010

• Comment on the remaining potential overflow in vectors.

  niklasso

  committed
  85e2be1View commit details

  Copy full SHA for 85e2be1

  Browse repository at this point

Commits on Mar 15, 2010

• Fix unused variable warning.

  niklasso

  committed
  8fa1cf3View commit details

  Copy full SHA for 8fa1cf3

  Browse repository at this point

Commits on Mar 13, 2010

• Let the memory-limit option be given in megabytes.

  niklasso

  committed
  327c1a7View commit details

  Copy full SHA for 327c1a7

  Browse repository at this point

Commits on Mar 12, 2010

• More overflow detections for capacities.

  niklasso

  committed
  20f7981View commit details

  Copy full SHA for 20f7981

  Browse repository at this point

• Make single argument constructors explicit to avoid unwanted conversions.

  niklasso

  committed
  6c457d6View commit details

  Copy full SHA for 6c457d6

  Browse repository at this point

Commits on Mar 10, 2010

• Add a method to query vector capacities.

  niklasso

  committed
  d752954View commit details

  Copy full SHA for d752954

  Browse repository at this point

• Further streamlining and sanity-checking in Vec.h.

  niklasso

  committed
  732b418View commit details

  Copy full SHA for 732b418

  Browse repository at this point

Commits on Mar 8, 2010

• More Vec-fixes.

  niklasso

  committed
  72b895eView commit details

  Copy full SHA for 72b895e

  Browse repository at this point

Commits on Mar 7, 2010

• In 'OccLists::cleanAll()', avoid cleaning the same variable twice.

  niklasso

  committed
  2d19964View commit details

  Copy full SHA for 2d19964

  Browse repository at this point

• Fix a warning.

  niklasso

  committed
  60e4d74View commit details

  Copy full SHA for 60e4d74

  Browse repository at this point

• Fix closing bracket of namespaces.

  niklasso

  committed
  d08fb27View commit details

  Copy full SHA for d08fb27

  Browse repository at this point