Introduce formal verification for compressed loads and stores#408

Merged

CharlyCst merged 3 commits intomainfrom sail-compressed-load-store

Feb 14, 2025

+643-162

Commits on Feb 14, 2025

Introduce formal verification for compressed loads and stores

francois141
authored and
CharlyCst
committed
SailBugfix: unsigned loads with 8 bytes are not decoded

francois141
authored and
CharlyCst
committed
Introduce formal verification for loads and stores

francois141
authored and
CharlyCst
committed