Skip to content
forked from cfbolz/sail-arm

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

License

Notifications You must be signed in to change notification settings

pydrofoil/sail-arm

 
 

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

65 Commits
 
 
 
 
 
 
 
 
 
 

Repository files navigation

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

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages

  • Isabelle 49.0%
  • Coq 36.8%
  • C 12.1%
  • Standard ML 2.1%
  • Roff 0.0%
  • Makefile 0.0%