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

flint: 2.9.0 -> 3.0.1 #262701

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

flint: 2.9.0 -> 3.0.1

c2c1cb9
Select commit
Loading
Failed to load commit list.
Draft

flint: 2.9.0 -> 3.0.1 #262701

flint: 2.9.0 -> 3.0.1
c2c1cb9
Select commit
Loading
Failed to load commit list.
OfBorg / Evaluation Performance Report succeeded Nov 16, 2023

Evaluator Performance Report

Details

stat before after Δ Δ%
cpuTime 525.00 526.67 ↗ 1.67 0.32%
envs-bytes 20,654,109,096 20,654,109,096 0
envs-elements 1,051,269,775 1,051,269,775 0
envs-number 765,246,931 765,246,931 0
gc-heapSize 51,476,664,320 51,476,668,416 ↗ 4,096 0.00%
gc-totalBytes 111,883,599,696 111,883,617,488 ↗ 17,792 0.00%
list-bytes 3,111,290,288 3,111,290,288 0
list-concats 52,756,564 52,756,564 0
list-elements 388,911,286 388,911,286 0
nrAvoided 992,233,593 992,233,593 0
nrFunctionCalls 697,810,696 697,810,696 0
nrLookups 337,975,127 337,975,127 0
nrOpUpdateValuesCopied 1,439,298,858 1,439,298,858 0
nrOpUpdates 68,345,201 68,345,201 0
nrPrimOpCalls 428,850,854 428,850,854 0
nrThunks 979,795,210 979,795,210 0
sets-bytes 33,380,352,992 33,380,352,992 0
sets-elements 1,929,491,803 1,929,491,803 0
sets-number 156,780,259 156,780,259 0
sizes-Attr 16 16 0
sizes-Bindings 16 16 0
sizes-Env 16 16 0
sizes-Value 24 24 0
symbols-bytes 2,152,382 2,152,382 0
symbols-number 159,749 159,749 0
values-bytes 29,487,628,512 29,487,628,512 0
values-number 1,228,651,188 1,228,651,188 0