Code

Optimizations#19

Code

Merged

bddap merged 5 commits intomasterdocknetwork/rify:masterfrom dradocknetwork/rify:draCopy head branch name to clipboardApr 23, 2021

+417-151

Commits

Commits on Apr 22, 2021

• add benches for prove() and infer()

  bddap

  committed
  5ac1e27

  Copy full SHA for 5ac1e27

• Optimize infer() and prove().

  Show description for 7bf82a1
  bddap

  committed
  7bf82a1

  Copy full SHA for 7bf82a1

Commits on Apr 23, 2021

• MapStack Optimization

  Show description for 65766a9
  bddap

  committed
  65766a9

  Copy full SHA for 65766a9

• bump versions to prepare for publish

  bddap

  committed
  cfb572e

  Copy full SHA for cfb572e

• scripts for publish

  bddap

  committed
  e23a00f

  Copy full SHA for e23a00f