Metatheory.jl
Metatheory.jl copied to clipboard
[WIP] Benchmarks
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
Codecov Report
Merging #94 (bd8b8f7) into master (e107904) will decrease coverage by
0.10%
. The diff coverage isn/a
.
@@ 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.
We should setup benchmarks at https://github.com/SciML/SciMLBenchmarks.jl so we can track stuff over time. That has dedicated compute.