Code

Optimize hashes#35

Code

Draft

timbeurskens wants to merge 5 commits intomastertimbeurskens/rsbdd:masterfrom 34-hash-optimizationtimbeurskens/rsbdd:34-hash-optimizationCopy head branch name to clipboard

+161-94

Commits

Commits on Apr 12, 2022

• remove todo

  timbeurskens

  committed
  ad6664c

Commits on Apr 16, 2022

• cache hash values in BDD wrapper. Note: cached hash differs from computed hash

  timbeurskens

  committed
  b557f13

Commits on Apr 18, 2022

• return optimized node to fix runtime issue

  timbeurskens

  committed
  81e2969

Commits on Apr 25, 2022

• add hash equivalence test

  timbeurskens

  committed
  d56a9f2

Commits on May 1, 2022

• update cargo lock file

  timbeurskens

  committed
  4de8533