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

oscar: update to 1.6.0, update source repo #367795

Merged
merged 1 commit into from
Dec 27, 2024

oscar: 1.5.3 -> 1.6.0

7332711
Select commit
Loading
Failed to load commit list.
Merged

oscar: update to 1.6.0, update source repo #367795

oscar: 1.5.3 -> 1.6.0
7332711
Select commit
Loading
Failed to load commit list.
OfBorg / Evaluation Performance Report succeeded Dec 27, 2024

Evaluator Performance Report

Details

stat before after Δ Δ%
cpuTime 792.42 797.31 ↗ 4.89 0.62%
envs-bytes 24,612,763,448 24,612,763,448 0
envs-elements 1,303,837,017 1,303,837,017 0
envs-number 886,379,207 886,379,207 0
gc-heapSize 73,756,872,704 73,740,095,488 ↘ 16,777,216 -0.02%
gc-totalBytes 152,981,532,288 152,981,522,064 ↘ 10,224 -0.00%
list-bytes 3,915,975,352 3,915,975,352 0
list-concats 95,274,590 95,274,590 0
list-elements 489,496,919 489,496,919 0
nrAvoided 1,023,084,012 1,023,084,012 0
nrFunctionCalls 815,429,807 815,429,807 0
nrLookups 430,519,723 430,519,723 0
nrOpUpdateValuesCopied 2,188,439,802 2,188,439,802 0
nrOpUpdates 102,394,644 102,394,644 0
nrPrimOpCalls 423,300,744 423,300,744 0
nrThunks 1,273,576,795 1,273,576,795 0
sets-bytes 49,999,967,536 49,999,967,536 0
sets-elements 2,933,894,093 2,933,894,093 0
sets-number 191,103,878 191,103,878 0
sizes-Attr 16 16 0
sizes-Bindings 16 16 0
sizes-Env 16 16 0
sizes-Value 24 24 0
symbols-bytes 3,437,050 3,437,050 0
symbols-number 189,563 189,563 0
values-bytes 40,256,221,392 40,256,221,392 0
values-number 1,677,342,558 1,677,342,558 0