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

Update reference to built architectures #364826

Open
wants to merge 1 commit into
base: master
Choose a base branch
from

Update reference to built architectures

b6e2465
Select commit
Loading
Failed to load commit list.
Open

Update reference to built architectures #364826

Update reference to built architectures
b6e2465
Select commit
Loading
Failed to load commit list.
OfBorg / Evaluation Performance Report succeeded Dec 13, 2024

Evaluator Performance Report

Details

stat before after Δ Δ%
cpuTime 794.88 793.64 ↘ 1.24 -0.16%
envs-bytes 24,199,887,344 24,199,887,344 0
envs-elements 1,284,214,190 1,284,214,190 0
envs-number 870,385,864 870,385,864 0
gc-heapSize 73,253,556,224 73,253,560,320 ↗ 4,096 0.00%
gc-totalBytes 151,096,476,672 151,096,483,328 ↗ 6,656 0.00%
list-bytes 3,677,009,776 3,677,009,776 0
list-concats 92,083,664 92,083,664 0
list-elements 459,626,222 459,626,222 0
nrAvoided 1,006,243,755 1,006,243,755 0
nrFunctionCalls 800,005,303 800,005,303 0
nrLookups 422,501,955 422,501,955 0
nrOpUpdateValuesCopied 2,167,674,365 2,167,674,365 0
nrOpUpdates 101,542,781 101,542,781 0
nrPrimOpCalls 417,171,876 417,171,876 0
nrThunks 1,261,336,445 1,261,336,445 0
sets-bytes 49,532,738,304 49,532,738,304 0
sets-elements 2,906,799,252 2,906,799,252 0
sets-number 188,996,892 188,996,892 0
sizes-Attr 16 16 0
sizes-Bindings 16 16 0
sizes-Env 16 16 0
sizes-Value 24 24 0
symbols-bytes 3,384,803 3,384,803 0
symbols-number 188,379 188,379 0
values-bytes 39,821,017,056 39,821,017,056 0
values-number 1,659,209,044 1,659,209,044 0