search

JuliaSymbolics / SymbolicUtils.jl

Symbolic expressions, rewriting and simplification
https://docs.sciml.ai/SymbolicUtils/stable/
Other
541 stars 108 forks source link

Unityper and BasicSymbolic #432

Closed YingboMa closed 2 years ago

YingboMa commented 2 years ago

@0x0f0f0f Could you take a look at the egraph tests? I am not sure how to fix them.

YingboMa commented 2 years ago

@0x0f0f0f metatheory test is marked broken for the time being.

0x0f0f0f commented 2 years ago

Am currently super busy. Can take a look this week!

Sent with ProtonMail Secure Email.

------- Original Message ------- On Tuesday, March 1st, 2022 at 1:01 AM, Yingbo Ma @.***> wrote:

@.***(https://github.com/0x0f0f0f) metatheory test is marked broken for the time being.

— Reply to this email directly, view it on GitHub, or unsubscribe. You are receiving this because you were mentioned.Message ID: @.***>