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

vfkit: 0.5.1 -> 0.6.0 #369618

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

vfkit: 0.5.1 -> 0.6.0

3370958
Select commit
Loading
Failed to load commit list.
Open

vfkit: 0.5.1 -> 0.6.0 #369618

vfkit: 0.5.1 -> 0.6.0
3370958
Select commit
Loading
Failed to load commit list.
OfBorg / Evaluation Performance Report succeeded Dec 31, 2024

Evaluator Performance Report

Details

stat before after Δ Δ%
cpuTime 844.26 760.99 ↘ 83.27 -9.86%
envs-bytes 24,619,398,968 24,619,398,968 0
envs-elements 1,304,264,599 1,304,264,599 0
envs-number 886,580,136 886,580,136 0
gc-heapSize 75,266,826,240 75,266,826,240 0
gc-totalBytes 153,398,677,552 153,398,678,496 ↗ 944 0.00%
list-bytes 3,920,472,664 3,920,472,664 0
list-concats 95,179,613 95,179,613 0
list-elements 490,059,083 490,059,083 0
nrAvoided 1,022,877,046 1,022,877,046 0
nrFunctionCalls 815,619,925 815,619,925 0
nrLookups 430,598,712 430,598,712 0
nrOpUpdateValuesCopied 2,199,068,159 2,199,068,159 0
nrOpUpdates 102,492,352 102,492,352 0
nrPrimOpCalls 422,984,696 422,984,696 0
nrThunks 1,274,560,906 1,274,560,906 0
sets-bytes 50,238,361,600 50,238,361,600 0
sets-elements 2,948,399,547 2,948,399,547 0
sets-number 191,498,053 191,498,053 0
sizes-Attr 16 16 0
sizes-Bindings 16 16 0
sizes-Env 16 16 0
sizes-Value 24 24 0
symbols-bytes 3,453,570 3,453,570 0
symbols-number 189,857 189,857 0
values-bytes 40,365,403,128 40,365,403,128 0
values-number 1,681,891,797 1,681,891,797 0