package aslref

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

Install 

dune-project
 Dependency

github.com Edit opam file Versions (1)

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_draft.2.tar.gz
md5=01c402d666b9fb871090bbd920a33de8
sha512=b7c1e7095a777b10cf6a87b94a24d7e26171a724604cdfbb015a6a9d01d729ceb24fcb2279fc2676a88803bde4897b672e5c9fe35c86fda32c0087f66b5eac6d

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: 22 Jan 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

Conflicts

None