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

perkeep: 0.11 -> 0-unstable-2024-04-23 #360175

Open
wants to merge 2 commits into
base: master
Choose a base branch
from

perkeep: 0.11 -> 0-unstable-2024-04-23

1b2f91b
Select commit
Loading
Failed to load commit list.
Open

perkeep: 0.11 -> 0-unstable-2024-04-23 #360175

perkeep: 0.11 -> 0-unstable-2024-04-23
1b2f91b
Select commit
Loading
Failed to load commit list.
OfBorg / Evaluation Performance Report succeeded Nov 30, 2024

Evaluator Performance Report

Details

stat before after Δ Δ%
cpuTime 777.86 777.12 ↘ 0.74 -0.10%
envs-bytes 23,893,005,920 23,892,964,872 ↘ 41,048 -0.00%
envs-elements 1,268,835,872 1,268,833,563 ↘ 2,309 -0.00%
envs-number 858,894,934 858,893,523 ↘ 1,411 -0.00%
gc-heapSize 69,377,953,792 69,377,957,888 ↗ 4,096 0.00%
gc-totalBytes 148,817,158,656 148,816,955,616 ↘ 203,040 -0.00%
list-bytes 3,444,278,688 3,444,274,472 ↘ 4,216 -0.00%
list-concats 89,071,688 89,071,480 ↘ 208 -0.00%
list-elements 430,534,836 430,534,309 ↘ 527 -0.00%
nrAvoided 994,797,128 994,795,092 ↘ 2,036 -0.00%
nrFunctionCalls 788,937,369 788,936,093 ↘ 1,276 -0.00%
nrLookups 413,742,211 413,741,623 ↘ 588 -0.00%
nrOpUpdateValuesCopied 2,133,637,761 2,133,634,769 ↘ 2,992 -0.00%
nrOpUpdates 100,433,791 100,433,599 ↘ 192 -0.00%
nrPrimOpCalls 412,488,650 412,487,784 ↘ 866 -0.00%
nrThunks 1,248,861,716 1,248,859,321 ↘ 2,395 -0.00%
sets-bytes 48,763,996,208 48,763,926,752 ↘ 69,456 -0.00%
sets-elements 2,861,305,773 2,861,301,704 ↘ 4,069 -0.00%
sets-number 186,443,990 186,443,718 ↘ 272 -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,364,735 3,364,718 ↘ 17 -0.00%
symbols-number 187,785 187,783 ↘ 2 -0.00%
values-bytes 39,287,108,784 39,287,048,424 ↘ 60,360 -0.00%
values-number 1,636,962,866 1,636,960,351 ↘ 2,515 -0.00%