aslrefversion Documentation on ocaml.org
Architecture Specification Language reference implementation
Arm's reference implementation and documentation for the Architecture Specification Language (ASL).
Provides parsing, type-checking, and interpretation of ASL, and other related tooling.
For more details, and for a downloadable version of the ASL language reference document, please see https://developer.arm.com/Architectures/Architecture%20Specification%20Language
| Author | Arm Ltd - ATG Formal <atg-formal@arm.com> |
|---|---|
| License | BSD-3-Clause |
| Published | |
| Homepage | https://github.com/herd/herdtools7 |
| Issue Tracker | https://github.com/herd/herdtools7/issues |
| Maintainer | Arm Ltd - ATG Formal <atg-formal@arm.com> |
| Dependencies | |
| Optional dependencies |
|
| Conflicts | |
| Source [http] | https://github.com/herd/herdtools7/archive/refs/tags/aslref-v1.0-eac1.tar.gz md5=f71b0063d988924c52c883eee8df224b sha512=17bbe8c5ed526200b55ae014b35e05fd10e0d2ed51458fb237db5ffc89363c59158e3fecdc80526fec4db56a1882ca74c5cbe8feb50f15853cc1ca2b9365bc89 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/aslref/aslref.1.0-EAC1/opam |
No package is dependent
