chore: Make ArmState fields private to ensure that every field access is written in terms of r/w and read/write_mem_bytes#51
Merged
shigoel merged 9 commits intoleanprover:mainfrom bollu:private-fields-arm-stateAug 2, 2024
+213-215
Commits
Commits on Aug 1, 2024
- committed
- committed
- committed
- committed
- committed
- authored
