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

redlib: 0.35.1-unstable-2024-09-22 -> 0.35.1-unstable-2024-11-01 #354406

Merged

redlib: 0.35.1-unstable-2024-09-22 -> 0.35.1-unstable-2024-11-01

d3f1862
Select commit
Loading
Failed to load commit list.
Merged

redlib: 0.35.1-unstable-2024-09-22 -> 0.35.1-unstable-2024-11-01 #354406

redlib: 0.35.1-unstable-2024-09-22 -> 0.35.1-unstable-2024-11-01
d3f1862
Select commit
Loading
Failed to load commit list.
OfBorg / Evaluation Performance Report succeeded Nov 8, 2024

Evaluator Performance Report

Details

stat before after Δ Δ%
cpuTime 882.24 794.07 ↘ 88.17 -9.99%
envs-bytes 24,648,026,032 24,648,026,032 0
envs-elements 1,310,495,750 1,310,495,750 0
envs-number 885,253,752 885,253,752 0
gc-heapSize 66,760,708,096 66,760,708,096 0
gc-totalBytes 152,116,826,816 152,116,834,640 ↗ 7,824 0.00%
list-bytes 3,426,540,496 3,426,540,624 ↗ 128 0.00%
list-concats 91,487,119 91,487,119 0
list-elements 428,317,562 428,317,578 ↗ 16 0.00%
nrAvoided 1,029,515,115 1,029,515,131 ↗ 16 0.00%
nrFunctionCalls 812,739,950 812,739,950 0
nrLookups 423,555,167 423,555,167 0
nrOpUpdateValuesCopied 2,180,075,987 2,180,075,987 0
nrOpUpdates 104,164,144 104,164,144 0
nrPrimOpCalls 427,364,992 427,364,992 0
nrThunks 1,308,652,543 1,308,652,543 0
sets-bytes 49,927,586,080 49,927,586,080 0
sets-elements 2,928,532,118 2,928,532,118 0
sets-number 191,942,012 191,942,012 0
sizes-Attr 16 16 0
sizes-Bindings 16 16 0
sizes-Env 16 16 0
sizes-Value 24 24 0
symbols-bytes 3,363,864 3,363,864 0
symbols-number 187,897 187,897 0
values-bytes 40,001,642,904 40,001,642,904 0
values-number 1,666,735,121 1,666,735,121 0