search

egraphs-good / extraction-gym

benchmarking e-graph extraction
MIT License
27 stars 16 forks source link

New 'FlexC' dataset #18

Closed Bastacyclop closed 9 months ago

oflatt commented 9 months ago

Do you have a link or description for what these egraphs are? I think something we should start doing is include a readme.md or description.md in each data set

Bastacyclop commented 9 months ago

Hi @oflatt , as mentioned in #7 , the dataset comes from a CGRA mapping tool called 'FlexC': https://arxiv.org/abs/2309.09112. E-graphs in this dataset contain enodes of cost 10_000, which actually means infinity in this context. I can dig up more information if you want: a given CGRA was targeted, applying a given set of rewrite rules to a given an initial e-graph itself derived from the loop body of a given C code.

Having README.mds sounds like a good idea.

oflatt commented 9 months ago

Oh great! I missed that. Throw that description into a readme and I'll merge.

Bastacyclop commented 9 months ago

README added :)

oflatt commented 9 months ago

Thanks!