Alessandro Cheli

Interested in looking for some funding and time for the project.

Rewriting a performant e-graphs system from scratch is a big task though. I'm mostly interested in seeing Gatlab as a concrete application for Metatheory.jl. I'm planning to improve and solidify...

> I do not understand exactly how the rules are compiled, but I guess that the compiled rules (generated functions) are shared over all threads and I suspect that the...

@gkronber do you mind contributing a small MWE of the problem to this branch as a test?

> Problem occurrs only in multi-threaded scenarios. I'm not sure how I could enforce an environment with multiple threads for a single test case. But I can have a look....

> > Interestingly, [5398503](https://github.com/JuliaSymbolics/Metatheory.jl/commit/5398503b9f77da44a6ac104f0b9d14510598e774) was sufficient to solve the problem for me. I've the feeling that it is only a partial fix, because the nodes in the patterns are shared...

Yes there are plans. I need some coordination with SymbolicUtils.jl and TermInterface.jl devs though

Ping @nmheim

@olynch

@gkronber thanks for all these contributions! :heart_hands: I will take a look after work