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

Similarterm, istree and issym only dispatch on objects and not on types. Fix EGraphs tests #101

Closed 0x0f0f0f closed 2 years ago

0x0f0f0f commented 2 years ago

Needs

https://github.com/JuliaSymbolics/TermInterface.jl/pull/12

to be released

codecov-commenter commented 2 years ago

Codecov Report

Merging #101 (6a7b8e9) into master (40d535e) will increase coverage by 0.20%. The diff coverage is 85.45%.

@@            Coverage Diff             @@
##           master     #101      +/-   ##
==========================================
+ Coverage   75.40%   75.61%   +0.20%     
==========================================
  Files          15       15              
  Lines        1464     1464              
==========================================
+ Hits         1104     1107       +3     
+ Misses        360      357       -3
Impacted Files Coverage Δ
src/Rewriters.jl 33.00% <0.00%> (ø)
src/EGraphs/analysis.jl 75.51% <50.00%> (ø)
src/utils.jl 32.40% <66.66%> (ø)
src/Syntax.jl 82.85% <95.00%> (+0.24%) :arrow_up:
src/EGraphs/egraph.jl 91.04% <100.00%> (+0.71%) :arrow_up:
src/EGraphs/ematch.jl 91.60% <100.00%> (ø)
src/EGraphs/saturation.jl 93.60% <100.00%> (ø)
src/Patterns.jl 72.91% <100.00%> (ø)
src/matchers.jl 70.58% <100.00%> (-0.35%) :arrow_down:
... and 1 more

:mega: Codecov can now indicate which changes are the most critical in Pull Requests. Learn more