sail-arm
Sail version of the ARMv8.5-A ISA definition
License
All models are licensed under the BSD 3-Clause Clear license in LICENSE
Models
The Sail ARMv8.5-A model is available in the arm-v8.5-a directory, with
instructions for building there.
Funding
This software was developed by Arm and the University of Cambridge Computer Laboratory (Department of Computer Science and Technology) under DARPA/AFRL contract FA8650-18-C-7809 ("CIFV").
This software was developed by Arm, the University of Cambridge, and the University of Edinburgh within the Rigorous Engineering of Mainstream Systems (REMS) project, partly funded by EPSRC grant EP/K008528/1.