search

egraphs-good / eggcc

MIT License
42 stars 8 forks source link

get rid of dependency on filesystem #590

Closed ryan-berger closed 4 months ago

ryan-berger commented 4 months ago

@oflatt @ajpal we do need to wait for the nightly to run tonight, but it works well on my machine (which is nearly identical to the nightly box)

ryan-berger commented 4 months ago

@oflatt Nightlies seem to be broken actually. benchmarks/passing/bril/float/conjugate-gradient.ll. But looks like it happens on main too

oflatt commented 4 months ago

Works!