Add data from prototype Bril compiler project - Githubissues

egraphs-good / extraction-gym

benchmarking e-graph extraction

MIT License

24 stars 15 forks source link

Add data from prototype Bril compiler project #17

Closed oflatt closed 7 months ago

oflatt commented 8 months ago

This PR adds data from the eggcc project, at this point in time: https://github.com/egraphs-good/eggcc/releases/tag/bril-v1