Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Jun 20, 2022

• Merge pull request #18 from mahi045/master

  Show description for 5a44909
  haz

  authored
  5a44909

  Copy full SHA for 5a44909

• new line

  mahi045

  committed
  a48bbf9

  Copy full SHA for a48bbf9

• static build instruction added

  mahi045

  committed
  bd50207

  Copy full SHA for bd50207

• oops, wrong param

  mahi045

  committed
  2c77b37

  Copy full SHA for 2c77b37

• static compilation

  mahi045

  committed
  f36abb0

  Copy full SHA for f36abb0

Commits on May 27, 2022

• Merge pull request #17 from VincentDerk/enhancement/port-win-mac

  Show description for 3172302
  haz

  authored
  3172302

  Copy full SHA for 3172302

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

• Merge branch 'master' of github.com:VincentDerk/dsharp into enhancement/port-win-mac

  VincentDerk

  committed
  fde7795

  Copy full SHA for fde7795

• 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 Apr 4, 2022

• Merge pull request #16 from VincentDerk/master

  Show description for e09c463
  haz

  authored
  e09c463

  Copy full SHA for e09c463

Commits on Mar 15, 2022

• Changed DIMAC cnf file parsing

  VincentDerk

  committed
  8136bc2

  Copy full SHA for 8136bc2

Commits on Mar 3, 2022

• Create LICENSE

  haz

  authored
  fd880bd

  Copy full SHA for fd880bd

• Delete LICENSE

  haz

  authored
  2d7e621

  Copy full SHA for 2d7e621

Commits on Jul 4, 2021

• Merge pull request #14 from symphorien/unsat-nvars

  Show description for 7443df8
  haz

  authored
  7443df8

  Copy full SHA for 7443df8

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

• Merge pull request #13 from QuMuLab/11-unsat-fixes

  Show description for 2307934
  haz

  authored
  2307934

  Copy full SHA for 2307934

• 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

• Update on what to ignore.

  haz

  authored
  07292dd

  Copy full SHA for 07292dd

Commits on Mar 25, 2021

• Merge pull request #10 from symphorien/opposing

  Show description for 38dfcfa
  haz

  authored
  38dfcfa

  Copy full SHA for 38dfcfa

Commits on Mar 24, 2021

• Setting the choiceVar everywhere that needs it.

  haz

  authored
  e76dbc1

  Copy full SHA for e76dbc1

• Adding .gitignore file.

  haz

  authored
  9eac83b

  Copy full SHA for 9eac83b

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 Apr 4, 2020

• Update README.md

  haz

  authored
  b8b2526

  Copy full SHA for b8b2526

• Renaming readme.

  haz

  committed
  37ad321

  Copy full SHA for 37ad321

• Update README

  haz

  authored
  5e4aa28

  Copy full SHA for 5e4aa28

Pagination

Previous

Next