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

treewide: migrate doc comments #262987

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

Automated rfc145 migration for comments into doc-comments

2d7fbeb
Select commit
Failed to load commit list.
Draft

treewide: migrate doc comments #262987

Automated rfc145 migration for comments into doc-comments
2d7fbeb
Select commit
Failed to load commit list.
OfBorg / Evaluation Performance Report succeeded Jun 5, 2024

Evaluator Performance Report

Details

stat before after Δ Δ%
cpuTime 663.36 663.48 ↗ 0.12 0.02%
envs-bytes 21,065,862,216 21,065,862,216 0
envs-elements 1,109,185,349 1,109,185,349 0
envs-number 762,023,714 762,023,714 0
gc-heapSize 59,110,305,792 59,110,305,792 0
gc-totalBytes 130,352,451,632 130,352,441,216 ↘ 10,416 -0.00%
list-bytes 3,673,924,248 3,673,924,248 0
list-concats 84,272,160 84,272,160 0
list-elements 459,240,531 459,240,531 0
nrAvoided 883,921,423 883,921,423 0
nrFunctionCalls 700,572,964 700,572,964 0
nrLookups 366,117,781 366,117,781 0
nrOpUpdateValuesCopied 1,896,132,248 1,896,132,248 0
nrOpUpdates 86,467,103 86,467,103 0
nrPrimOpCalls 365,958,022 365,958,022 0
nrThunks 1,086,462,292 1,086,462,292 0
sets-bytes 43,028,101,536 43,028,101,536 0
sets-elements 2,526,828,814 2,526,828,814 0
sets-number 162,427,532 162,427,532 0
sizes-Attr 16 16 0
sizes-Bindings 16 16 0
sizes-Env 16 16 0
sizes-Value 24 24 0
symbols-bytes 2,473,219 2,473,219 0
symbols-number 172,589 172,589 0
values-bytes 33,444,901,632 33,444,901,632 0
values-number 1,393,537,568 1,393,537,568 0