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
355 stars 46 forks source link

Add more benchmarks and move example theories in dedicated folder. #183

Closed 0x0f0f0f closed 8 months ago

codecov-commenter commented 8 months ago

Codecov Report

All modified and coverable lines are covered by tests :white_check_mark:

Comparison is base (c4252cc) 68.96% compared to head (c7b4e0b) 69.03%.

:exclamation: Your organization needs to install the Codecov GitHub app to enable full functionality.

Additional details and impacted files ```diff @@ Coverage Diff @@ ## master #183 +/- ## ========================================== + Coverage 68.96% 69.03% +0.07% ========================================== Files 16 16 Lines 1350 1350 ========================================== + Hits 931 932 +1 + Misses 419 418 -1 ```

:umbrella: View full report in Codecov by Sentry.
:loudspeaker: Have feedback on the report? Share it here.

github-actions[bot] commented 8 months ago

Benchmark Results

master c7b4e0b51cbbf6... t[master]/t[c7b4e0b51cbbf6...]
logic/prove1 0.444 ± 0.014 s 0.44 ± 0.02 s 1.01
logic/rewrite 0.0753 ± 0.0013 ms 0.0768 ± 0.0015 ms 0.98
maths/simpl1 0.0581 ± 0.0042 s 0.0579 ± 0.0039 s 1
time_to_load 0.258 ± 0.0014 s 0.259 ± 0.00058 s 0.995

Benchmark Plots

A plot of the benchmark results have been uploaded as an artifact to the workflow run for this PR. Go to "Actions"->"Benchmark a pull request"->[the most recent run]->"Artifacts" (at the bottom).