Metatheory.jl icon indicating copy to clipboard operation
Metatheory.jl copied to clipboard

[WIP] Benchmarks

Open 0x0f0f0f opened this issue 2 years ago • 2 comments

TODO:

  • [ ] Github Actions Workflow/Buildkite
  • [ ] Needs expression fuzzing (?)
  • [ ] Classical pattern matching
  • [ ] Logics example.
  • [ ] Equality saturation phases: matching, application, rebuilding, extraction
  • [ ] E-Graph analysis
  • [ ] Rewriting on external types
  • [ ] Some rewriting on Exprs

0x0f0f0f avatar Jan 10 '22 11:01 0x0f0f0f

Codecov Report

Merging #94 (bd8b8f7) into master (e107904) will decrease coverage by 0.10%. The diff coverage is n/a.

Impacted file tree graph

@@            Coverage Diff             @@
##           master      #94      +/-   ##
==========================================
- Coverage   76.09%   75.99%   -0.11%     
==========================================
  Files          15       15              
  Lines        1456     1454       -2     
==========================================
- Hits         1108     1105       -3     
- Misses        348      349       +1     
Impacted Files Coverage Δ
src/EGraphs/Schedulers.jl 39.24% <ø> (ø)
src/EGraphs/egraph.jl 90.33% <ø> (ø)
src/EGraphs/ematch.jl 91.60% <ø> (ø)
src/EGraphs/saturation.jl 93.60% <ø> (ø)
src/Syntax.jl 82.35% <ø> (-0.26%) :arrow_down:
src/Patterns.jl 72.91% <0.00%> (-2.09%) :arrow_down:

Continue to review full report at Codecov.

Legend - Click here to learn more Δ = absolute <relative> (impact), ø = not affected, ? = missing data Powered by Codecov. Last update e107904...bd8b8f7. Read the comment docs.

codecov-commenter avatar Jan 10 '22 11:01 codecov-commenter

We should setup benchmarks at https://github.com/SciML/SciMLBenchmarks.jl so we can track stuff over time. That has dedicated compute.

ChrisRackauckas avatar Jan 10 '22 13:01 ChrisRackauckas