https://github.com/philzook58/egglog-rec
Rewriting engine competition benchmarks translated to egglog
https://github.com/philzook58/egglog-rec
Last synced: about 1 month ago
JSON representation
Rewriting engine competition benchmarks translated to egglog
- Host: GitHub
- URL: https://github.com/philzook58/egglog-rec
- Owner: philzook58
- Created: 2023-01-02T01:58:16.000Z (almost 3 years ago)
- Default Branch: main
- Last Pushed: 2023-01-02T15:54:58.000Z (almost 3 years ago)
- Last Synced: 2025-02-26T01:45:29.503Z (7 months ago)
- Language: Python
- Size: 89.8 KB
- Stars: 1
- Watchers: 2
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# Rewriting engine competition translated to egglog.
Thanks to the authors of these benchmarks which at least includes Hubert Garavel and others.
- scrape.py was used to get stuff off the website. You probably don't need this
- rec.py generates egglog files from the rec files. There may still be bugs in this translation
- benchmark.py runs the tests. You'll need to add your egglog binary
There may still be significant bugs in the translation of rules.
The natlist and hanoi examples are currently disabled. Hanoi seems to be missing the relevant original code. natlist isn't parsing due to resource restrictions.