Replace SailTinyArm by SailArm (Not to be merged)#14

Draft

tperami wants to merge 5 commits intomainfrom

Commits on Jul 22, 2025

Replace SailTinyArm by SailArm
tperami
committed
Example use of initial state from Isla

bacam
authored and
tperami
committed

Commits on Sep 10, 2025

Update sequential test based on isla-litmus-dump
bacam
committed

Commits on Nov 5, 2025