Metadata analysis in 3.0

JuliaSymbolics / Metatheory.jl

Makes Julia reason with equations. General purpose metaprogramming, symbolic computation and algebraic equational reasoning library for the Julia programming language: E-Graphs & equality saturation, term rewriting and more.

https://juliasymbolics.github.io/Metatheory.jl/dev/

MIT License

355 stars 46 forks source link

Metadata analysis in 3.0 #210

Open HectorPeeters opened 3 months ago

HectorPeeters commented 3 months ago

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 removed.

Are there plans to include it again into the core library, or will this be left to the end user?

0x0f0f0f commented 3 months ago

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

0x0f0f0f commented 2 weeks ago

Ping @nmheim

0x0f0f0f commented 2 weeks ago

@olynch