Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Produce EGraph images like egg. #41

Closed
0x0f0f0f opened this issue Mar 19, 2021 · 6 comments
Closed

Produce EGraph images like egg. #41

0x0f0f0f opened this issue Mar 19, 2021 · 6 comments

Comments

@vitrun
Copy link

vitrun commented May 10, 2022

Hey, it's been a while. Is it possible to produce egraph images now ?

@0x0f0f0f
Copy link
Member Author

TODO: in #169 :

See https://graph.makie.org/stable/generated/syntaxtree/ for interactions

@0x0f0f0f
Copy link
Member Author

@vitrun
Copy link

vitrun commented Oct 23, 2023

  • Restore "cause" of creation of e-class (@vitrun what version of MT where you using)?

Expat

@0x0f0f0f
Copy link
Member Author

  • Restore "cause" of creation of e-class (@vitrun what version of MT where you using)?

Expat

What do you mean?

@vitrun
Copy link

vitrun commented Oct 24, 2023

@0x0f0f0f Sorry, I read it wrong. The version of MetaTheory I used is v1.3.3. It has been quite a while, I don't remember if I've made any changes to the related source code.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants