search

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
362 stars 47 forks source link

Fix CI #136

Closed shashi closed 1 year ago

shashi commented 2 years ago

What is going on?

0x0f0f0f commented 2 years ago

@shashi I left development changes on master (2.0.0-DEV) and i see that package version in master branch has been downgraded to 1.4.0. What happened precisely? I guess the solution may be reverting changes, moving 2.0 in another branch and then restoring master to latest functioning release.

shashi commented 2 years ago

Yeah can you help do that? We need the latest branch of TermInterface to be usable by Symbolics, but MT stops the update from going through.

0x0f0f0f commented 2 years ago

I've reverted Metatheory master to 1.3.4.

I've updated TermInterface locally to test but everything is broken. Have you tested latest published TermInterface version with Metatheory 1.3.4 ?