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

Simplify E-Graph Analysis Interface. Use Symbols or functions for identifying Analyses. Remove duplicates in E-Graph analyses data. #115

Closed 0x0f0f0f closed 2 years ago

0x0f0f0f commented 2 years ago

Quire task 56, uses namedtuple with ref. Greatly simplifies analyses interface. No more abstract types. Analyses are identified by symbols or function

codecov-commenter commented 2 years ago

Codecov Report

Merging #115 (214e8ce) into master (e66a0ca) will decrease coverage by 0.28%. The diff coverage is 84.50%.

@@            Coverage Diff             @@
##           master     #115      +/-   ##
==========================================
- Coverage   75.60%   75.32%   -0.29%     
==========================================
  Files          15       15              
  Lines        1476     1475       -1     
==========================================
- Hits         1116     1111       -5     
- Misses        360      364       +4
Impacted Files Coverage Δ
src/EGraphs/analysis.jl 74.75% <75.55%> (-0.76%) :arrow_down:
src/EGraphs/egraph.jl 90.03% <100.00%> (-0.98%) :arrow_down:
src/Syntax.jl 81.94% <0.00%> (ø)

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