Code

Bdd/relprev/renaming prefix#681

Code

Merged

SSoelvsten merged 3 commits intomainSSoelvsten/adiar:mainfrom bdd/relprev/renaming_prefixSSoelvsten/adiar:bdd/relprev/renaming_prefixCopy head branch name to clipboardJun 24, 2024

+144-82

Commits

Commits on Jun 22, 2024

• Update/Fix comments in 'select' and 'quantify' algorithms

  SSoelvsten

  committed
  c9dd6c0

  Copy full SHA for c9dd6c0

Commits on Jun 24, 2024

• Fix formatting and comments in 'shift_replace(const ptr_uint64&)'

  SSoelvsten

  committed
  1bc745b

  Copy full SHA for 1bc745b

• Clean up unit tests for 'bdd_not'

  SSoelvsten

  committed
  89547ed

  Copy full SHA for 89547ed