Skip to content
GitLab
Explore
Sign in
notypeclasses apply: do not unfold the type
Code
Review changes
Check out branch
Download
Patches
Plain diff
Ralf Jung
requested to merge
ralf/notc-apply-no-hnf
into
master
Feb 07, 2025
Overview
4
Commits
2
Pipelines
4
Changes
2
Expand
The hope is that this avoids the massive performance regression in
iris!1101
.
Merge request reports
Loading