Code

Bdd/relprod/quality of life#689

Code

Merged

SSoelvsten merged 4 commits intomainSSoelvsten/adiar:mainfrom bdd/relprod/quality_of_lifeSSoelvsten/adiar:bdd/relprod/quality_of_lifeCopy head branch name to clipboardJul 29, 2024

+3,186-1,056

Commits

Commits on Jul 29, 2024

• Fix incorrect copy-paste in 'bdd_relprev' documentation

  SSoelvsten

  committed
  8556c38

• Add 'relnext(states, relation)' and 'relprev(states, relation)' overloads

  Show description for 0bf806d
  SSoelvsten

  committed
  0bf806d

• Add 'relnext(states, relation, varcount)' and 'relprev(states, relation, varcount)' overloads

  Show description for b29859b
  SSoelvsten

  committed
  b29859b

• Fix breaking change (from BDD-Benchmark) in System Test

  SSoelvsten

  committed
  506da0a