rems-project / sail-arm

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

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

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.

About

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

License:Other


Languages

Language:Isabelle 48.9%Language:Coq 36.8%Language:C 12.1%Language:Standard ML 2.1%Language:Roff 0.0%Language:Makefile 0.0%Language:Shell 0.0%Language:sed 0.0%