Code

Herbie eval / artifact#222

Code

Open

bksaiki wants to merge 15 commits intomainuwplse/ruler:mainfrom herbie-eval2uwplse/ruler:herbie-eval2Copy head branch name to clipboard

Commits

Commits on May 4, 2023

• eval skeleton

  bksaiki

  committed
  0a445e6

  Copy full SHA for 0a445e6

• gen-rules.rkt (wip)

  bksaiki

  committed
  f6b8f65

  Copy full SHA for f6b8f65

• almost working

  bksaiki

  committed
  738d555

  Copy full SHA for 738d555

• fixes

  bksaiki

  committed
  c195d08

  Copy full SHA for c195d08

• working

  bksaiki

  committed
  3d8cf69

  Copy full SHA for 3d8cf69

Commits on May 12, 2023

• fix

  bksaiki

  committed
  35de903

  Copy full SHA for 35de903

Commits on May 15, 2023

• enumo config uses exponential lifting rules

  bksaiki

  committed
  f2232c5

  Copy full SHA for f2232c5

Commits on May 23, 2023

• update to new json format

  bksaiki

  committed
  52a2a0a

  Copy full SHA for 52a2a0a

Commits on May 24, 2023

• add documentation for Herbie eval

  bksaiki

  committed
  ed9a90f

  Copy full SHA for ed9a90f

Commits on Jun 14, 2023

• tweak

  bksaiki

  committed
  56300ce

  Copy full SHA for 56300ce

Commits on Jul 9, 2023

• add saved data for artifact

  bksaiki

  committed
  9bfd7e7

  Copy full SHA for 9bfd7e7

• Merge branch 'main' into herbie-eval2

  bksaiki

  committed
  5edb986

  Copy full SHA for 5edb986

• modify README with plot-only option

  bksaiki

  committed
  870b12e

  Copy full SHA for 870b12e

• tweak README

  bksaiki

  committed
  e39169d

  Copy full SHA for e39169d

Commits on Jul 10, 2023

• tweak font size

  bksaiki

  committed
  febfd92

  Copy full SHA for febfd92