Add a unified codegen cache#4313

Open

AlexanderPortland wants to merge 7 commits intomodel-checking:mainfrom

AlexanderPortland:final-cache

Commits on Aug 21, 2025

introduce codegen cache
AlexanderPortland
committed

Commits on Aug 22, 2025

Commits on Sep 2, 2025

Commits on Sep 8, 2025

Merge branch 'main' into final-cache
feliperodri
authored

Commits on Sep 16, 2025

switch to rustc_data_structures hash map
AlexanderPortland
committed