Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

lib.fixedPoints.toExtension: init #336414

Merged
merged 6 commits into from
Sep 16, 2024

buildGoModule: use lib.toExtension

e31ace5
Select commit
Loading
Failed to load commit list.
Merged

lib.fixedPoints.toExtension: init #336414

buildGoModule: use lib.toExtension
e31ace5
Select commit
Loading
Failed to load commit list.
OfBorg / Evaluation Performance Report succeeded Sep 14, 2024

Evaluator Performance Report

Details

stat before after Δ Δ%
cpuTime 724.76 764.71 ↗ 39.95 5.51%
envs-bytes 23,625,993,800 23,633,373,584 ↗ 7,379,784 0.03%
envs-elements 1,253,143,109 1,253,442,574 ↗ 299,465 0.02%
envs-number 850,053,058 850,364,562 ↗ 311,504 0.04%
gc-heapSize 70,317,481,984 68,740,419,584 ↘ 1,577,062,400 -2.24%
gc-totalBytes 145,989,693,392 146,000,996,400 ↗ 11,303,008 0.01%
list-bytes 3,447,174,616 3,447,259,824 ↗ 85,208 0.00%
list-concats 90,189,386 90,189,386 0
list-elements 430,896,827 430,907,478 ↗ 10,651 0.00%
nrAvoided 984,823,488 985,119,420 ↗ 295,932 0.03%
nrFunctionCalls 780,222,585 780,596,453 ↗ 373,868 0.05%
nrLookups 409,109,349 409,402,629 ↗ 293,280 0.07%
nrOpUpdateValuesCopied 2,140,395,060 2,140,395,814 ↗ 754 0.00%
nrOpUpdates 98,417,985 98,417,985 0
nrPrimOpCalls 408,643,137 408,629,972 ↘ 13,165 -0.00%
nrThunks 1,240,092,423 1,240,082,814 ↘ 9,609 -0.00%
sets-bytes 48,498,639,072 48,498,833,344 ↗ 194,272 0.00%
sets-elements 2,848,061,046 2,848,073,168 ↗ 12,122 0.00%
sets-number 183,103,896 183,103,916 ↗ 20 0.00%
sizes-Attr 16 16 0
sizes-Bindings 16 16 0
sizes-Env 16 16 0
sizes-Value 24 24 0
symbols-bytes 3,145,858 3,145,855 ↘ 3 -0.00%
symbols-number 184,371 184,371 0
values-bytes 37,973,144,712 37,973,914,704 ↗ 769,992 0.00%
values-number 1,582,214,363 1,582,246,446 ↗ 32,083 0.00%