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

stereotool: 10.30 -> 10.41 #351498

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

stereotool: 10.30 -> 10.41

9e49cb2
Select commit
Loading
Failed to load commit list.
Open

stereotool: 10.30 -> 10.41 #351498

stereotool: 10.30 -> 10.41
9e49cb2
Select commit
Loading
Failed to load commit list.
OfBorg / Evaluation Performance Report succeeded Oct 27, 2024

Evaluator Performance Report

Details

stat before after Δ Δ%
cpuTime 774.56 766.69 ↘ 7.87 -1.02%
envs-bytes 24,095,297,280 24,095,297,280 0
envs-elements 1,278,102,732 1,278,102,732 0
envs-number 866,904,714 866,904,714 0
gc-heapSize 66,207,059,968 66,223,841,280 ↗ 16,781,312 0.03%
gc-totalBytes 148,474,359,792 148,474,373,504 ↗ 13,712 0.00%
list-bytes 3,362,303,448 3,362,303,448 0
list-concats 89,992,016 89,992,016 0
list-elements 420,287,931 420,287,931 0
nrAvoided 1,003,275,596 1,003,275,596 0
nrFunctionCalls 795,697,112 795,697,112 0
nrLookups 416,703,023 416,703,023 0
nrOpUpdateValuesCopied 2,170,170,865 2,170,170,865 0
nrOpUpdates 100,738,933 100,738,933 0
nrPrimOpCalls 416,652,833 416,652,833 0
nrThunks 1,267,189,820 1,267,189,820 0
sets-bytes 49,207,026,144 49,207,026,144 0
sets-elements 2,889,242,690 2,889,242,690 0
sets-number 186,196,444 186,196,444 0
sizes-Attr 16 16 0
sizes-Bindings 16 16 0
sizes-Env 16 16 0
sizes-Value 24 24 0
symbols-bytes 3,455,575 3,455,575 0
symbols-number 188,817 188,817 0
values-bytes 38,703,705,384 38,703,705,384 0
values-number 1,612,654,391 1,612,654,391 0