Code

Benchmark improvements#2169

Code

Merged

mthom merged 5 commits intomthom:mastermthom/scryer-prolog:masterfrom infogulch:flameinfogulch/scryer-prolog:flameCopy head branch name to clipboardNov 24, 2023

+367-576

Commits

Commits on Nov 21, 2023

• Remove accidentally committed files

  infogulch

  committed
  c6f3700

  Copy full SHA for c6f3700

• Benchmark improvements

  Show description for 1c94624
  infogulch

  committed
  1c94624

  Copy full SHA for 1c94624

Commits on Nov 22, 2023

• Upgrade to latest iai for summary output

  infogulch

  committed
  503e45e

  Copy full SHA for 503e45e

• Expose inference counts on Machine; publish to CI

  infogulch

  committed
  11832b5

  Copy full SHA for 11832b5

Commits on Nov 24, 2023

• Merge branch 'master' into flame

  mthom

  authored
  4181c9f

  Copy full SHA for 4181c9f