Code

Bdd/diff op#667

Code

Merged

SSoelvsten merged 10 commits intomainSSoelvsten/adiar:mainfrom bdd/diff_opSSoelvsten/adiar:bdd/diff_opCopy head branch name to clipboardMay 30, 2024

Commits

Commits on May 30, 2024

• Clean up BDD operation overloads and its tests

  SSoelvsten

  committed
  2097f51

  Copy full SHA for 2097f51

• Add '-' operator as an alias for 'bdd_diff'

  SSoelvsten

  committed
  35bad41

  Copy full SHA for 35bad41

• Add '+' operator as an alias for 'bdd_or'

  Show description for 61a3453
  SSoelvsten

  committed
  61a3453

  Copy full SHA for 61a3453

• Add '*' operator as an alias for 'bdd_and'

  SSoelvsten

  committed
  86773e3

  Copy full SHA for 86773e3

• Clean up ZDD operation overloads and their tests

  SSoelvsten

  committed
  555cf7d

  Copy full SHA for 555cf7d

• Add missing unit tests for '<', '<=', '>', and '>=' ZDD operator overloads

  SSoelvsten

  committed
  9e9c400

  Copy full SHA for 9e9c400

• Add unary '-' ZDD operator

  SSoelvsten

  committed
  b27ea1c

  Copy full SHA for b27ea1c

• Add '+' ZDD operator alias for 'zdd_union'

  SSoelvsten

  committed
  95619b2

  Copy full SHA for 95619b2

• Add '*' ZDD operator alias for 'zdd_intsec'

  SSoelvsten

  committed
  74c87b0

  Copy full SHA for 74c87b0

• Format latest changes

  SSoelvsten

  committed
  59832cb

  Copy full SHA for 59832cb