SVG/dot output limits specified via command line arguments

egraphs-good / egglog

egraphs + datalog!

https://egraphs-good.github.io/egglog/

MIT License

400 stars 45 forks source link

SVG/dot output limits specified via command line arguments #379

Closed hessammehr closed 3 months ago

hessammehr commented 3 months ago

Partially addresses #377 by allowing the number of functions/calls per function to be specified via the command line. Preserved current behaviour if user does not specify limits.

Very happy to consider alternative approaches that may be more widely applicable.

yihozhang commented 3 months ago

The CI is failing. Could you also fix the web demo?

hessammehr commented 3 months ago

Oh yes, missed that one. Should be fixed now.

yihozhang commented 3 months ago

Thanks!

saulshanabrook commented 3 months ago

Thank you for this!