Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/rems-project/sail-arm
Sail version of Arm ISA definition, currently for Armv9.3-A, and with the previous Sail Armv8.5-A model
https://github.com/rems-project/sail-arm
Last synced: 3 months ago
JSON representation
Sail version of Arm ISA definition, currently for Armv9.3-A, and with the previous Sail Armv8.5-A model
- Host: GitHub
- URL: https://github.com/rems-project/sail-arm
- Owner: rems-project
- License: other
- Created: 2019-01-11T09:31:50.000Z (about 6 years ago)
- Default Branch: master
- Last Pushed: 2024-08-27T13:27:54.000Z (5 months ago)
- Last Synced: 2024-08-27T14:52:56.750Z (5 months ago)
- Language: Isabelle
- Homepage:
- Size: 52.1 MB
- Stars: 69
- Watchers: 25
- Forks: 19
- Open Issues: 15
-
Metadata Files:
- Readme: README.md
- License: LICENSE