Change the program type in `ArmState` to `Map` #27

Merged

shigoel merged 4 commits intoleanprover:mainfrom aqjune-aws:wip

Mar 27, 2024

+72-124

Commits on Mar 14, 2024

Changing the type of ArmState.program
aqjune-aws
committed

Commits on Mar 25, 2024