Add benchmarks drawn from Herbie 2.1 (actually, mainline) (#43)

egraphs-good · Sep 20, 2024 · eb0b157 · eb0b157
1 parent 4994658
commit eb0b157
Show file tree

Hide file tree

Showing 18 changed files with 18 additions and 0 deletions.
diff --git a/data/herbie/1501.json b/data/herbie/1501.json
diff --git a/data/herbie/1745.json b/data/herbie/1745.json
diff --git a/data/herbie/1774.json b/data/herbie/1774.json
diff --git a/data/herbie/2231.json b/data/herbie/2231.json
diff --git a/data/herbie/2232.json b/data/herbie/2232.json
diff --git a/data/herbie/2953.json b/data/herbie/2953.json
diff --git a/data/herbie/3120.json b/data/herbie/3120.json
diff --git a/data/herbie/356.json b/data/herbie/356.json
diff --git a/data/herbie/3659.json b/data/herbie/3659.json
diff --git a/data/herbie/3662.json b/data/herbie/3662.json
diff --git a/data/herbie/4225.json b/data/herbie/4225.json
diff --git a/data/herbie/4710.json b/data/herbie/4710.json
diff --git a/data/herbie/5421.json b/data/herbie/5421.json
diff --git a/data/herbie/5799.json b/data/herbie/5799.json
diff --git a/data/herbie/6439.json b/data/herbie/6439.json
diff --git a/data/herbie/6712.json b/data/herbie/6712.json
diff --git a/data/herbie/6713.json b/data/herbie/6713.json
diff --git a/data/herbie/859.json b/data/herbie/859.json