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.generators.toINI: allow lists of name-value pairs as section contents #340726

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

lib.generators.toINI: allow lists of name-value pairs as section cont…

43d7af8
Select commit
Loading
Failed to load commit list.
Open

lib.generators.toINI: allow lists of name-value pairs as section contents #340726

lib.generators.toINI: allow lists of name-value pairs as section cont…
43d7af8
Select commit
Loading
Failed to load commit list.
OfBorg / Evaluation Performance Report succeeded Sep 9, 2024

Evaluator Performance Report

Details

stat before after Δ Δ%
cpuTime 719.03 718.67 ↘ 0.36 -0.05%
envs-bytes 23,391,611,888 23,391,712,648 ↗ 100,760 0.00%
envs-elements 1,241,018,132 1,241,025,003 ↗ 6,871 0.00%
envs-number 841,466,677 841,469,539 ↗ 2,862 0.00%
gc-heapSize 68,622,983,168 68,622,979,072 ↘ 4,096 -0.00%
gc-totalBytes 144,471,173,072 144,471,657,280 ↗ 484,208 0.00%
list-bytes 3,372,980,928 3,373,012,992 ↗ 32,064 0.00%
list-concats 89,156,782 89,156,782 0
list-elements 421,622,616 421,626,624 ↗ 4,008 0.00%
nrAvoided 974,548,066 974,557,228 ↗ 9,162 0.00%
nrFunctionCalls 772,348,592 772,351,454 ↗ 2,862 0.00%
nrLookups 405,627,603 405,627,604 ↗ 1 0.00%
nrOpUpdateValuesCopied 2,126,080,845 2,126,080,845 0
nrOpUpdates 97,576,663 97,576,663 0
nrPrimOpCalls 404,504,469 404,506,761 ↗ 2,292 0.00%
nrThunks 1,229,369,972 1,229,371,119 ↗ 1,147 0.00%
sets-bytes 48,140,733,552 48,140,925,936 ↗ 192,384 0.00%
sets-elements 2,827,127,147 2,827,135,163 ↗ 8,016 0.00%
sets-number 181,668,700 181,672,708 ↗ 4,008 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,140,616 3,140,616 0
symbols-number 184,154 184,154 0
values-bytes 37,475,884,416 37,476,008,136 ↗ 123,720 0.00%
values-number 1,561,495,184 1,561,500,339 ↗ 5,155 0.00%