Sail-Arm: Sail version of ARM ISA definition, currently for ARMv8.5-A

It's been a long time coming – but well worth the wait. POPL paper about the spec and the tools here: https://t.co/ACLc9dVWSj …. And the testing is basically an updated version of what I reported here: https://t.co/IrUCzEhioL https://t.co/8GyuauSuqq

— Alastair Reid (@alastair_d_reid) January 14, 2019

Runnable formal model of ARM v8.5: https://t.co/D3BgRcb58r

Good enough to boot Linux!

— Ben Laurie (@BenLaurie) January 13, 2019

“Sail ARMv8.5-A ISA model is automatically generated from the ARM-internal ASL reference, as used in the ARM ARM.” There is also a handwritten Sail x86 model. https://t.co/LtsuNZp8zs https://t.co/Ju6txxFup6

— Adrian Rueegsegger (@Kensan42) January 13, 2019