Code

Add benchmarks drawn from Herbie#43

Code

Merged

mwillsey merged 1 commit intoegraphs-good:mainegraphs-good/extraction-gym:mainfrom pavpanchekha:add-herbiepavpanchekha/extraction-gym:add-herbieCopy head branch name to clipboardSep 20, 2024

+18

Commits

Commits on Sep 20, 2024

• Add benchmarks drawn from Herbie 2.1 (actually, mainline)

  pavpanchekha

  committed
  2dcb60c

  Copy full SHA for 2dcb60c