Add Tensat Examples (#4)

* Add tensat examples * Convert examples to new JSON format * Add memoization to dag and tree-cost computation
egraphs-good · Jul 8, 2023 · 5902665 · 5902665
1 parent 743c05b
commit 5902665
Show file tree

Hide file tree

Showing 11 changed files with 2,125,932 additions and 5 deletions.
diff --git a/data/tensat/bert.json b/data/tensat/bert.json
diff --git a/data/tensat/bert_acyclic.json b/data/tensat/bert_acyclic.json
diff --git a/data/tensat/nasneta.json b/data/tensat/nasneta.json
diff --git a/data/tensat/nasneta_acyclic.json b/data/tensat/nasneta_acyclic.json