SSoelvsten/cal

Issues

• Add `-` and `-=` operator overloading to `BDD` class

  #33 opened 4 months ago by SSoelvsten
  1

• Add C++ API

  #8 opened 2 years ago by SSoelvsten
  0

• Add Association dependent functions to `BDD`

  #20 opened a year ago by SSoelvsten
  0

• Copy documentation to be Documentation Comments in code

  #9 opened 4 months ago by SSoelvsten
  2

• Add `NodeCount` that reports actual Number of Nodes

  #31 opened 4 months ago by SSoelvsten
  0

• `OVERFLOW` is (possibly) a Preprocessor Variable

  #29 opened 4 months ago by SSoelvsten
  0

• Tests don't build

  #28 opened 8 months ago by nhusung
  0

• Move depth-first threshold into a CMake/Run-time variable

  #11 opened a year ago by SSoelvsten
  1

• Add Installation to CMake

  #27 opened 8 months ago by SSoelvsten
  0

• Add `Cal_BddPrintDot(manager, f)`

  #26 opened a year ago by SSoelvsten
  0

• `Regular` is wrongly reference counted

  #21 opened a year ago by SSoelvsten
  0

• Default value for `negout` in `Size(...)` should be non-zero

  #23 opened a year ago by SSoelvsten
  0

• Code Duplication: `CeilLog2`

  #22 opened a year ago by SSoelvsten
  0

• Missing Dereference in C++ Interface

  #15 opened a year ago by SSoelvsten
  1

• Remove `dynamicReorderingEnableFlag` from `Cal_BddManager`

  #6 opened a year ago by SSoelvsten
  1

• `free(): invalid pointer` with `CAL_REORDER_METHOD_DF`

  #5 opened a year ago by SSoelvsten
  1

• `free(): invalid pointer` for `Cal_BddManagerQuit`

  #3 opened a year ago by SSoelvsten
  0

• Add `Cal_BddNull(...)` to the C and C++ interface

  #13 opened a year ago by SSoelvsten
  1

• BDD default constructor results in segmentation fault

  #10 opened a year ago by SSoelvsten
  1

• Derive page size within CMake

  #4 opened 2 years ago by SSoelvsten
  1