package aslref

  1. Overview
  2. No Docs
Architecture Specification Language reference implementation

Install 

dune-project
 Dependency

github.com Edit opam file Versions (2)

Authors

  1. A
    Arm Ltd - ATG Formal <atg-formal@arm.com>

Maintainers

  1. A
    Arm Ltd - ATG Formal <atg-formal@arm.com>

Sources

aslref-v1.0-eac1.tar.gz
md5=f71b0063d988924c52c883eee8df224b
sha512=17bbe8c5ed526200b55ae014b35e05fd10e0d2ed51458fb237db5ffc89363c59158e3fecdc80526fec4db56a1882ca74c5cbe8feb50f15853cc1ca2b9365bc89

Description

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

Published: 03 Apr 2026

Dependencies (4)

  1. zarith >= "1.13"
  2. menhir >= "20220210"
  3. dune >= "3.10"
  4. ocaml >= "4.08"

Dev Dependencies (1)

  1. odoc with-doc

Used by

None