You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Thanks for the amazing project!
I was just experimenting with egglog, and may have missed the exact change, but it looks like from the moment #176 was merged the command extract (or rather its new name, query-extract) no longer prints to the standard output.
To reproduce, run any example with query-extract - like https://egraphs-good.github.io/egglog/?example=eqsolve. No output with terms/costs is printed.
I think the output is printed to the browser console instead, but that's somewhat inconvenient to use. Is there a workaround?
The text was updated successfully, but these errors were encountered:
Thanks for the amazing project!
I was just experimenting with
egglog
, and may have missed the exact change, but it looks like from the moment #176 was merged the commandextract
(or rather its new name,query-extract
) no longer prints to the standard output.To reproduce, run any example with
query-extract
- like https://egraphs-good.github.io/egglog/?example=eqsolve. No output with terms/costs is printed.I think the output is printed to the browser console instead, but that's somewhat inconvenient to use. Is there a workaround?
The text was updated successfully, but these errors were encountered: