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 Rocq model by default (via dune build).