Commits

Breadcrumbs

History for

onmaster

User selector

All users

All time

Commit History

Commits on Jan 19, 2026

• fix: avoid use-after-erase in decision tree compression

  rmanhaeve

  committed
  088dfe3

  Copy full SHA for 088dfe3

Commits on May 20, 2022

• Bugfix: -cs overflow

  Show description for 12d8a10
  VincentDerk

  committed
  12d8a10

  Copy full SHA for 12d8a10

Commits on May 18, 2022

• Added missing std::

  VincentDerk

  committed
  38498fe

  Copy full SHA for 38498fe

• Fixed bug in compressNode, causing SIGSEGV errors on mac OS 12.3

  VincentDerk

  committed
  05b0a47

  Copy full SHA for 05b0a47

• Finished(/fixed) availableMem implementation for mac

  VincentDerk

  committed
  4743920

  Copy full SHA for 4743920

Commits on Apr 26, 2022

• Changed datatype of memory tracking to size_t

  VincentDerk

  committed
  94696db

  Copy full SHA for 94696db

Commits on Apr 25, 2022

• changed enum class back to enum because enum class support is (only) since c++11

  VincentDerk

  committed
  913e605

  Copy full SHA for 913e605

Commits on Apr 23, 2022

• Turned DT_NodeType enum into enum class + renamed enum values

  Show description for b028b61
  VincentDerk

  committed
  b028b61

  Copy full SHA for b028b61

• Replaced/removed 'using namespace std'.

  Show description for b572e30
  VincentDerk

  committed
  b572e30

  Copy full SHA for b572e30

• Changed uint to unsigned int

  VincentDerk

  committed
  29432fa

  Copy full SHA for 29432fa

• Added getAvailableMemory() for more platforms

  VincentDerk

  committed
  da2c87f

  Copy full SHA for da2c87f

Commits on Mar 15, 2022

• Changed DIMAC cnf file parsing

  VincentDerk

  committed
  8136bc2

  Copy full SHA for 8136bc2

Commits on Jun 29, 2021

• report the correct number of variables in unsat nnf

  

  Guillaume Girol

  committed
  c4b2412

  Copy full SHA for c4b2412

Commits on Jun 22, 2021

• Output an empty OR when things are UNSAT.

  haz

  authored
  8345b5c

  Copy full SHA for 8345b5c

• Fixing bug with trivial UNSAT theories reporting SAT.

  haz

  authored
  11fe186

  Copy full SHA for 11fe186

Commits on Mar 24, 2021

• Setting the choiceVar everywhere that needs it.

  haz

  authored
  e76dbc1

  Copy full SHA for e76dbc1

Commits on Mar 23, 2021

• fixup! fix OR node choice variables

  

  Guillaume Girol

  committed
  8f8dbff

  Copy full SHA for 8f8dbff

Commits on Mar 18, 2021

• fix OR node choice variables

  Show description for 970a7ec
  

  Guillaume Girol

  committed
  970a7ec

  Copy full SHA for 970a7ec

Commits on Jun 3, 2014

• Implemented priority variable solving.

  haz

  committed
  6da4358

  Copy full SHA for 6da4358

Commits on Apr 8, 2013

• Fixed fixed a bug where not every literal node was unchecked before smoothing.

  haz

  committed
  4477a60

  Copy full SHA for 4477a60

Commits on Nov 25, 2012

• Fixing a bug with the smoothing operation under random situations (leaf nodes need their variable automatically inserted).

  haz

  committed
  a344b4d

  Copy full SHA for a344b4d

Commits on Nov 6, 2012

• Short circuit the graph output if the theory is unsat.

  haz

  committed
  a5ebd8f

  Copy full SHA for a5ebd8f

Commits on Oct 24, 2012

• Fix for issue 5 and issue 6.

  haz

  committed
  e5ad842

  Copy full SHA for e5ad842

Commits on Oct 18, 2012

• Fixed parsing of clauses spanning multiple lines

  vladimirkl

  committed
  2d93dad

  Copy full SHA for 2d93dad

• Fixed compilation with GCC 4.7.

  vladimirkl

  committed
  d51ae44

  Copy full SHA for d51ae44

Commits on Oct 9, 2012

• Fixed a bug with the Basic.h templates.

  haz

  committed
  3ddeea7

  Copy full SHA for 3ddeea7

Commits on Jun 7, 2012

• Adding an option to disable the inclusion of every literal in a d-DNNF (which causes False nodes to be used).

  haz

  committed
  fd450c4

  Copy full SHA for fd450c4

Commits on May 29, 2012

• Merged in haz/dsharp/disable-decomp (pull request #3)

  haz

  committed
  bbc9356

  Copy full SHA for bbc9356

Commits on May 28, 2012

• Convert OR nodes with complementary literal children into True.

  haz

  committed
  9852c06

  Copy full SHA for 9852c06

• Added the dynamic decomp disabling to the software help output.

  haz

  committed
  cd73bca

  Copy full SHA for cd73bca

• Implemented the option to disable dynamic decomposition.

  haz

  committed
  1af88f8

  Copy full SHA for 1af88f8

Commits on May 23, 2012

• Adding a check to only report a particular error when smoothing is turned off.

  haz

  committed
  e72212b

  Copy full SHA for e72212b

Commits on Mar 28, 2012

• Updated the smoothing to work efficiently for DAGs (and not just trees).

  haz

  committed
  bea3e1f

  Copy full SHA for bea3e1f

Commits on Feb 3, 2012

• DSharp with smoothing functionality.

  Show description for 3456b0b
  dimitarsh1

  committed
  3456b0b

  Copy full SHA for 3456b0b

Commits on Jan 13, 2012

• Fixed a bug with renamed variables in the preprocessing step not being added properly in the final output (reported by Dimitar Shterionov).

  haz

  committed
  82902a1

  Copy full SHA for 82902a1