A very simple Arm-like model, originally by Shaked Flur and adapted to current Sail and its new concurrency interface by Brian Campbell, Thibaut Pérami, and Nils Lauermann.
The Makefile currently generates a Coq model by default.
rems-project/sail-tiny-arm
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|