arch-split Refine up to Invariants_H for ARM+ARM_HYP#847

Open

Xaphiosis wants to merge 6 commits intoarch-splitfrom arch-split_arm

+3,302-8,296

Commits on Jan 8, 2025

arm refine: copy ArchInvsDefs/Lemmas_H from AARCH64
Xaphiosis
committed
arm refine+orphanage: arch-split up to InvariantUpdates_H
Xaphiosis
committed
arm crefine+infoflow: minimal fixups for arch-split up to InvariantUpdates_H
Xaphiosis
committed

Commits on Jan 10, 2025