Pretty printing stack overflow for proofs

egraphs-good / egg

egg is a flexible, high-performance e-graph library

https://egraphs-good.github.io

MIT License

1.37k stars 138 forks source link

Open oflatt opened 2 years ago

oflatt commented 2 years ago

Right now, getting proofs with get_string_with_let can stack overflow because of our bad pretty printer.

cospectrum commented 6 months ago

Has anyone had any problems in practice? The proof must be very huge I think

oflatt commented 6 months ago

Yes, the Herbie project has run into this before

bksaiki commented 3 months ago

Should be fixed by #310