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

[Backport release-24.11] lockbook: init at 0.9.15 #365064

Merged
merged 2 commits into from
Dec 15, 2024

lockbook: init at 0.9.15

b33fad7
Select commit
Loading
Failed to load commit list.
Merged

[Backport release-24.11] lockbook: init at 0.9.15 #365064

lockbook: init at 0.9.15
b33fad7
Select commit
Loading
Failed to load commit list.
OfBorg / Evaluation Performance Report succeeded Dec 14, 2024

Evaluator Performance Report

Details

stat before after Δ Δ%
cpuTime 1093.30 854.47 ↘ 238.82 -21.84%
envs-bytes 24,511,473,832 24,511,627,584 ↗ 153,752 0.00%
envs-elements 1,302,079,239 1,302,087,256 ↗ 8,017 0.00%
envs-number 880,927,495 880,933,096 ↗ 5,601 0.00%
gc-heapSize 65,821,188,096 65,837,969,408 ↗ 16,781,312 0.03%
gc-totalBytes 151,727,353,744 151,728,593,104 ↗ 1,239,360 0.00%
list-bytes 3,478,894,936 3,478,913,016 ↗ 18,080 0.00%
list-concats 91,259,805 91,260,342 ↗ 537 0.00%
list-elements 434,861,867 434,864,127 ↗ 2,260 0.00%
nrAvoided 1,022,940,678 1,022,947,746 ↗ 7,068 0.00%
nrFunctionCalls 809,046,059 809,051,277 ↗ 5,218 0.00%
nrLookups 422,821,496 422,823,864 ↗ 2,368 0.00%
nrOpUpdateValuesCopied 2,161,278,884 2,161,306,213 ↗ 27,329 0.00%
nrOpUpdates 103,107,470 103,108,090 ↗ 620 0.00%
nrPrimOpCalls 424,160,483 424,163,442 ↗ 2,959 0.00%
nrThunks 1,284,045,028 1,284,052,442 ↗ 7,414 0.00%
sets-bytes 49,468,127,632 49,468,673,088 ↗ 545,456 0.00%
sets-elements 2,901,145,024 2,901,177,983 ↗ 32,959 0.00%
sets-number 190,612,953 190,614,085 ↗ 1,132 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,353,575 3,353,588 ↗ 13 0.00%
symbols-number 187,536 187,538 ↗ 2 0.00%
values-bytes 40,154,983,536 40,155,271,920 ↗ 288,384 0.00%
values-number 1,673,124,314 1,673,136,330 ↗ 12,016 0.00%