https://github.com/rems-project/sail

Sail architecture definition language
https://github.com/rems-project/sail

Last synced: about 1 year ago
JSON representation

Sail architecture definition language

• Host: GitHub
• URL: https://github.com/rems-project/sail
• Owner: rems-project
• License: other
• Created: 2018-01-31T15:33:54.000Z (over 8 years ago)
• Default Branch: sail2
• Last Pushed: 2025-04-08T14:03:02.000Z (about 1 year ago)
• Last Synced: 2025-04-08T22:19:59.375Z (about 1 year ago)
• Language: OCaml
• Size: 53.7 MB
• Stars: 704
• Watchers: 36
• Forks: 126
• Open Issues: 235
• Metadata Files:
  • Readme: README.md
  • Changelog: CHANGELOG.md
  • License: LICENSE

Awesome Lists containing this project

• awesome-coq - Sail - Tool for specifying instruction set architecture (ISA) semantics of processors and generating Coq definitions. (Projects / Tools)