Fixed a bug for astsize_inv that I introduced earlier.

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

Fixed a bug for astsize_inv that I introduced earlier. #193

Closed gkronber closed 6 months ago

gkronber commented 6 months ago

Sorry, I had to touch astsize_inv cost function again, since I broke it last time

gkronber commented 6 months ago

Canceled this PR because it includes other changes. Will re-open a new one.