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

Draft

tperami wants to merge 5 commits into

mainfrom

Commits on Jul 22, 2025

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

bacam
authored and
tperami
committed
1a2476c

Commits on Sep 10, 2025

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

Commits on Nov 5, 2025

Update sail-arm and sail-riscv for recent Sail/coq-sail changes
bacam
committed
8de4a2c
Bump sail-riscv commit for cmake compatibility
bacam
committed
765d524