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

lib.strings: deprecate lib.strings.{head,tail} #313144

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

lib.strings: deprecate lib.strings.{head,tail}

fe5b0ed
Select commit
Loading
Failed to load commit list.
Open

lib.strings: deprecate lib.strings.{head,tail} #313144

lib.strings: deprecate lib.strings.{head,tail}
fe5b0ed
Select commit
Loading
Failed to load commit list.
OfBorg / Evaluation Performance Report succeeded May 27, 2024

Evaluator Performance Report

Details

stat before after Δ Δ%
cpuTime 695.16 682.84 ↘ 12.32 -1.77%
envs-bytes 21,025,964,600 21,025,964,600 0
envs-elements 1,107,163,235 1,107,163,235 0
envs-number 760,541,170 760,541,170 0
gc-heapSize 58,808,311,808 59,059,970,048 ↗ 251,658,240 0.43%
gc-totalBytes 130,068,223,744 130,068,233,904 ↗ 10,160 0.00%
list-bytes 3,669,235,712 3,669,235,712 0
list-concats 84,122,402 84,122,402 0
list-elements 458,654,464 458,654,464 0
nrAvoided 881,978,500 881,978,500 0
nrFunctionCalls 699,202,618 699,202,618 0
nrLookups 365,283,484 365,284,885 ↗ 1,401 0.00%
nrOpUpdateValuesCopied 1,888,310,094 1,888,310,094 0
nrOpUpdates 86,322,468 86,322,468 0
nrPrimOpCalls 365,120,304 365,120,304 0
nrThunks 1,084,419,765 1,084,419,765 0
sets-bytes 42,882,353,104 42,882,353,104 0
sets-elements 2,518,118,839 2,518,118,839 0
sets-number 162,028,230 162,028,230 0
sizes-Attr 16 16 0
sizes-Bindings 16 16 0
sizes-Env 16 16 0
sizes-Value 24 24 0
symbols-bytes 2,469,518 2,469,518 0
symbols-number 172,340 172,340 0
values-bytes 33,393,059,568 33,393,059,568 0
values-number 1,391,377,482 1,391,377,482 0