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> |
| Available | opam-version >= "2.1.0" & arch != "arm32" & arch != "x86_32" |
| Dependencies | |
| Optional dependencies |
|
| Source [http] | https://github.com/herd/herdtools7/archive/refs/tags/aslref-v1.0_draft.2.tar.gz md5=01c402d666b9fb871090bbd920a33de8 sha512=b7c1e7095a777b10cf6a87b94a24d7e26171a724604cdfbb015a6a9d01d729ceb24fcb2279fc2676a88803bde4897b672e5c9fe35c86fda32c0087f66b5eac6d |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/aslref/aslref.1.0~draft.2/opam |
No package is dependent
