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.fileset.intersection: init #257356

Merged
merged 3 commits into from
Oct 11, 2023

lib.fileset: Minor contributor doc adjustments

389be8d
Select commit
Loading
Failed to load commit list.
Merged

lib.fileset.intersection: init #257356

lib.fileset: Minor contributor doc adjustments
389be8d
Select commit
Loading
Failed to load commit list.
OfBorg / Evaluation Performance Report succeeded Oct 11, 2023

Evaluator Performance Report

Details

stat before after Δ Δ%
cpuTime 692.39 529.26 ↘ 163.13 -23.56%
envs-bytes 19,656,272,208 19,656,272,208 0
envs-elements 1,001,607,842 1,001,607,842 0
envs-number 727,713,092 727,713,092 0
gc-heapSize 49,463,398,400 49,463,402,496 ↗ 4,096 0.00%
gc-totalBytes 107,888,727,696 107,888,734,128 ↗ 6,432 0.00%
list-bytes 2,991,128,968 2,991,128,968 0
list-concats 50,313,457 50,313,457 0
list-elements 373,891,121 373,891,121 0
nrAvoided 925,575,684 925,575,684 0
nrFunctionCalls 663,470,343 663,470,343 0
nrLookups 484,955,159 484,955,159 0
nrOpUpdateValuesCopied 1,378,747,548 1,378,747,548 0
nrOpUpdates 65,064,852 65,064,852 0
nrPrimOpCalls 412,495,769 412,495,769 0
nrThunks 956,787,605 956,787,605 0
sets-bytes 31,803,969,312 31,803,969,312 0
sets-elements 1,840,333,135 1,840,333,135 0
sets-number 147,414,947 147,414,947 0
sizes-Attr 16 16 0
sizes-Bindings 16 16 0
sizes-Env 16 16 0
sizes-Value 24 24 0
symbols-bytes 2,139,393 2,139,393 0
symbols-number 158,774 158,774 0
values-bytes 28,669,682,184 28,669,682,184 0
values-number 1,194,570,091 1,194,570,091 0