Metatheory.jl
Metatheory.jl copied to clipboard
Data structure docs
Continuation of #232.
:warning: Please install the to ensure uploads and comments are reliably processed by Codecov.
Codecov Report
All modified and coverable lines are covered by tests :white_check_mark:
Project coverage is 81.17%. Comparing base (
0b2e6c9) to head (f7e9946). Report is 19 commits behind head on ale/3.0.
:exclamation: Your organization needs to install the Codecov GitHub app to enable full functionality.
Additional details and impacted files
@@ Coverage Diff @@
## ale/3.0 #245 +/- ##
===========================================
+ Coverage 81.06% 81.17% +0.10%
===========================================
Files 19 18 -1
Lines 1500 1498 -2
===========================================
Hits 1216 1216
+ Misses 284 282 -2
:umbrella: View full report in Codecov by Sentry.
:loudspeaker: Have feedback on the report? Share it here.
Benchmark Results
| egg-sym | egg-cust | MT@f7e9946c115... | MT@0b2e6c9f11b... | egg-sym/MT@f7e... | egg-cust/MT@f7... | MT@0b2e6c9f11b... | |
|---|---|---|---|---|---|---|---|
| egraph_addexpr | 1.46 ms | 5.13 ms | 5.15 ms | 0.285 | 1 | ||
| basic_maths_simpl2 | 12.4 ms | 4.87 ms | 20.4 ms | 20.2 ms | 0.61 | 0.239 | 0.992 |
| prop_logic_freges_theorem | 2.49 ms | 1.52 ms | 1.07 ms | 1.06 ms | 2.32 | 1.42 | 0.993 |
| calc_logic_demorgan | 60.1 μs | 35 μs | 77 μs | 78.7 μs | 0.78 | 0.454 | 1.02 |
| calc_logic_freges_theorem | 21.7 ms | 11.8 ms | 43.1 ms | 42.6 ms | 0.503 | 0.273 | 0.986 |
| basic_maths_simpl1 | 5.96 ms | 2.75 ms | 4.73 ms | 4.76 ms | 1.26 | 0.581 | 1.01 |
| egraph_constructor | 0.0849 μs | 0.0917 μs | 0.0923 μs | 0.926 | 1.01 | ||
| prop_logic_prove1 | 35 ms | 13.9 ms | 43.3 ms | 42.9 ms | 0.808 | 0.32 | 0.99 |
| prop_logic_demorgan | 78.4 μs | 44.7 μs | 96.8 μs | 97.5 μs | 0.81 | 0.462 | 1.01 |
| while_superinterpreter_while_10 | 18.3 ms | 18.5 ms | 1.01 | ||||
| prop_logic_rewrite | 122 μs | 121 μs | 0.992 | ||||
| time_to_load | 116 ms | 116 ms | 1 |
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).