Metatheory.jl

Metatheory.jl copied to clipboard

Race-condition when using Metatheory from multiple threads

3

I'm getting errors when calling saturate for an egraph from multiple threads. I'm careful not to use any shared variables. The race condition seems to occur inside Metatheory (ale/3.0 branch)....

gkronber

0x0f0f0f

This pull request changes the compat entry for the `TermInterface` package from `0.3.3` to `0.3.3, 2`. This keeps the compat entries for earlier versions. Note: I have not tested your...

github-actions[bot]

This pull request changes the compat entry for the `TermInterface` package from `0.3.3` to `0.3.3, 1`. This keeps the compat entries for earlier versions. Note: I have not tested your...

github-actions[bot]

Matching on fully qualified function call in 3.0

1

When creating a rule with a fully qualified function call in the `ale/3.0` branch, Metatheory fails to compile the pattern. A rule defined like so: ```julia @rule Main.identity(~a) --> ~a...

HectorPeeters

Metadata analysis in 3.0

1

For my project, I rely heavily on the metadata analysis included with the package. However, with switching to the `ale/3.0` branch, it seems like the built-in metadata analysis has been...

HectorPeeters