Skip to content

Cache subtype computations in KeYProgModelInfo#3944

Merged
unp1 merged 1 commit into
mainfrom
cache-subtypes
Jul 25, 2026
Merged

Cache subtype computations in KeYProgModelInfo#3944
unp1 merged 1 commit into
mainfrom
cache-subtypes

Cache subtype inheritances

dce984a
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
integration-tests (testMt2w, ubuntu-latest, 21)
succeeded Jul 25, 2026 in 4m 48s