[herd,asl] Fix ambiguous PC writes#1744

Merged

HadrienRenaud merged 3 commits intoherd:masterfrom

HadrienRenaud:fix-ambiguous-po-regs

Mar 16, 2026

Commits on Mar 16, 2026

[herd] Extract StoreSet in its own module

maranget
and
HadrienRenaud
committed
[herd,asl] Remove PC handling from extracted AArch64 semantics
HadrienRenaud
committed
[asl] Restrict aarch64_iico_data to starting from reads
HadrienRenaud
committed