Fix initial store ignoring viewpoint adaption#681

Open

flo2702 wants to merge 6 commits intoeisop:masterfrom flo2702:fixInitStoreViewpoint

+112-26

Commits on Jan 9, 2024

Use adapted field types in initial store
flo2702
committed

Commits on Jan 12, 2024

Only use adapted field type for initialized receivers
flo2702
committed
Fix bug where dependent types were added to the store in non-normalized state
flo2702
committed

Commits on Jan 15, 2024

Commits on Apr 6, 2024

Merge branch 'master' into fixInitStoreViewpoint
wmdietl
authored