GitHunt
BA

bauereiss/sail-arm

Sail version of Arm ISA definition, currently for Armv9.3-A, and with the previous Sail Armv8.5-A model

sail-arm

Sail versions of the Arm A-profile architecture specification

Models

The arm-v8.5-a, arm-v9.3-a, and arm-v9.4-a directories contain Sail models of the
Armv8.5-A, Armv9.3-A, and Armv9.4-A architectures, respectively, with instructions for
building there.

License

All models are licensed under the BSD 3-Clause Clear license in the LICENSE file in the corresponding directory.
Artefacts such as the snapshots in this repository that are produced by Sail are also subject to the same license.
The snapshots of the Lem and Sail libraries include copies of their licenses.

Languages

Isabelle48.9%Coq36.8%C12.1%Standard ML2.1%Roff0.0%Makefile0.0%Shell0.0%sed0.0%

Contributors

Other
Created February 8, 2023
Updated January 9, 2025
bauereiss/sail-arm | GitHunt