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

krun: init at 0-unstable-2024-06-18 #321359

Merged
merged 3 commits into from
Jul 24, 2024

krun: init at 0-unstable-2024-06-18

ab4247b
Select commit
Loading
Failed to load commit list.
Merged

krun: init at 0-unstable-2024-06-18 #321359

krun: init at 0-unstable-2024-06-18
ab4247b
Select commit
Loading
Failed to load commit list.
OfBorg / Evaluation Performance Report succeeded Jul 5, 2024

Evaluator Performance Report

Details

stat before after Δ Δ%
cpuTime 682.43 672.48 ↘ 9.95 -1.46%
envs-bytes 21,704,009,736 21,704,278,048 ↗ 268,312 0.00%
envs-elements 1,142,527,273 1,142,541,680 ↗ 14,407 0.00%
envs-number 785,236,972 785,246,538 ↗ 9,566 0.00%
gc-heapSize 62,784,512,000 62,750,953,472 ↘ 33,558,528 -0.05%
gc-totalBytes 133,737,219,520 133,739,170,336 ↗ 1,950,816 0.00%
list-bytes 3,818,474,288 3,818,497,968 ↗ 23,680 0.00%
list-concats 87,780,846 87,781,579 ↗ 733 0.00%
list-elements 477,309,286 477,312,246 ↗ 2,960 0.00%
nrAvoided 913,854,335 913,866,505 ↗ 12,170 0.00%
nrFunctionCalls 722,232,320 722,241,099 ↗ 8,779 0.00%
nrLookups 370,286,523 370,290,769 ↗ 4,246 0.00%
nrOpUpdateValuesCopied 1,948,019,275 1,948,057,742 ↗ 38,467 0.00%
nrOpUpdates 89,564,099 89,565,339 ↗ 1,240 0.00%
nrPrimOpCalls 378,520,805 378,525,469 ↗ 4,664 0.00%
nrThunks 1,120,668,917 1,120,683,085 ↗ 14,168 0.00%
sets-bytes 44,157,156,544 44,157,941,904 ↗ 785,360 0.00%
sets-elements 2,593,171,982 2,593,218,959 ↗ 46,977 0.00%
sets-number 166,650,302 166,652,410 ↗ 2,108 0.00%
sizes-Attr 16 16 0
sizes-Bindings 16 16 0
sizes-Env 16 16 0
sizes-Value 24 24 0
symbols-bytes 2,493,143 2,493,189 ↗ 46 0.00%
symbols-number 174,251 174,256 ↗ 5 0.00%
values-bytes 34,399,174,464 34,399,623,864 ↗ 449,400 0.00%
values-number 1,433,298,936 1,433,317,661 ↗ 18,725 0.00%