add eggcc benchmarks (#17)

rename to eggcc-bril remove too-large json
egraphs-good · Nov 30, 2023 · d953273 · d953273
1 parent 5d433b0
commit d953273
Show file tree

Hide file tree

Showing 36 changed files with 2,777,693 additions and 0 deletions.
diff --git a/data/eggcc-bril/add.bril.json b/data/eggcc-bril/add.bril.json
diff --git a/data/eggcc-bril/add_block_indirection.bril.json b/data/eggcc-bril/add_block_indirection.bril.json
diff --git a/data/eggcc-bril/block-diamond.bril.json b/data/eggcc-bril/block-diamond.bril.json
diff --git a/data/eggcc-bril/bool.bril.json b/data/eggcc-bril/bool.bril.json
diff --git a/data/eggcc-bril/branch_duplicate_work.bril.json b/data/eggcc-bril/branch_duplicate_work.bril.json
diff --git a/data/eggcc-bril/collatz.bril.json b/data/eggcc-bril/collatz.bril.json
diff --git a/data/eggcc-bril/collatz_redundant_computation.bril.json b/data/eggcc-bril/collatz_redundant_computation.bril.json
diff --git a/data/eggcc-bril/constant_fold_simple.bril.json b/data/eggcc-bril/constant_fold_simple.bril.json
diff --git a/data/eggcc-bril/diamond.bril.json b/data/eggcc-bril/diamond.bril.json
diff --git a/data/eggcc-bril/div.bril.json b/data/eggcc-bril/div.bril.json
diff --git a/data/eggcc-bril/duplicate_branch.bril.json b/data/eggcc-bril/duplicate_branch.bril.json
diff --git a/data/eggcc-bril/eliminate_gamma.bril.json b/data/eggcc-bril/eliminate_gamma.bril.json
diff --git a/data/eggcc-bril/eliminate_gamma_false.bril.json b/data/eggcc-bril/eliminate_gamma_false.bril.json
diff --git a/data/eggcc-bril/eliminate_gamma_interval.bril.json b/data/eggcc-bril/eliminate_gamma_interval.bril.json
diff --git a/data/eggcc-bril/eliminate_loop.bril.json b/data/eggcc-bril/eliminate_loop.bril.json
diff --git a/data/eggcc-bril/fib_shape.bril.json b/data/eggcc-bril/fib_shape.bril.json
diff --git a/data/eggcc-bril/flatten_loop.bril.json b/data/eggcc-bril/flatten_loop.bril.json
diff --git a/data/eggcc-bril/gamma_condition_and.bril.json b/data/eggcc-bril/gamma_condition_and.bril.json
diff --git a/data/eggcc-bril/gamma_pull_in.bril.json b/data/eggcc-bril/gamma_pull_in.bril.json