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.extendMkDerivation, lib.adaptMkDerivation: init #234651

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

lib.extendMkDerivation: add a release note entry

506a1be
Select commit
Loading
Failed to load commit list.
Open

lib.extendMkDerivation, lib.adaptMkDerivation: init #234651

lib.extendMkDerivation: add a release note entry
506a1be
Select commit
Loading
Failed to load commit list.
OfBorg / Evaluation Performance Report succeeded Nov 6, 2024

Evaluator Performance Report

Details

stat before after Δ Δ%
cpuTime 1094.17 791.29 ↘ 302.88 -27.68%
envs-bytes 24,568,456,568 24,568,623,624 ↗ 167,056 0.00%
envs-elements 1,306,376,667 1,306,385,727 ↗ 9,060 0.00%
envs-number 882,340,202 882,346,113 ↗ 5,911 0.00%
gc-heapSize 66,878,148,608 66,945,269,760 ↗ 67,121,152 0.10%
gc-totalBytes 151,670,019,552 151,676,025,712 ↗ 6,006,160 0.00%
list-bytes 3,419,064,616 3,419,309,656 ↗ 245,040 0.01%
list-concats 91,279,262 91,279,882 ↗ 620 0.00%
list-elements 427,383,077 427,413,707 ↗ 30,630 0.01%
nrAvoided 1,026,160,634 1,026,167,758 ↗ 7,124 0.00%
nrFunctionCalls 810,083,526 810,089,023 ↗ 5,497 0.00%
nrLookups 422,115,625 422,117,737 ↗ 2,112 0.00%
nrOpUpdateValuesCopied 2,174,661,564 2,174,676,380 ↗ 14,816 0.00%
nrOpUpdates 103,873,823 103,874,735 ↗ 912 0.00%
nrPrimOpCalls 425,921,626 425,924,310 ↗ 2,684 0.00%
nrThunks 1,304,528,469 1,304,538,365 ↗ 9,896 0.00%
sets-bytes 49,795,031,152 49,795,877,776 ↗ 846,624 0.00%
sets-elements 2,920,895,411 2,920,946,365 ↗ 50,954 0.00%
sets-number 191,294,036 191,295,996 ↗ 1,960 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,354,403 3,355,154 ↗ 751 0.02%
symbols-number 187,509 187,536 ↗ 27 0.01%
values-bytes 39,870,743,712 39,873,694,992 ↗ 2,951,280 0.01%
values-number 1,661,280,988 1,661,403,958 ↗ 122,970 0.01%