GitPlanet

Cheap and reliable Node.js hosting starts at $3/month, and $1/month static HTML hosting

Created with love in Canada, visit hostnodejs.com today

Feel like to post an Ad? Learn Details
All Projects → rems-project → sail-arm

rems-project / sail-arm

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

Programming Languages

Isabelle
26 projects
Coq
218 projects
c
50402 projects - #5 most used programming language
Standard ML
205 projects
Roff
2310 projects
Makefile
30231 projects

sail-arm

Sail versions of the Arm A-profile architecture specification

Models

The arm-v8.5-a and arm-v9.3-a directories contain Sail models of the Armv8.5-A and Armv9.3-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.

Note that the project description data, including the texts, logos, images, and/or trademarks, for each open source project belongs to its rightful owner. If you wish to add or remove any projects, please contact us at [email protected].