package asli

  1. Overview
  2. No Docs
Interpreter for Arm's Architecture Specification Language (ASL)

Install

Dune Dependency

github.com Edit opam file Versions (2)

Authors

  1. A
    Alastair Reid

Maintainers

  1. A
    Alastair Reid <alastair.d.reid@gmail.com>

Sources

0.1.tar.gz
md5=61ddc6521cdf481b774bec0dc5e82a35
sha512=b1baddfef9697933700e692a332d4ebdb791d1e294827071485d96939b22fb1594fc66b315f2692ac641287cefd418ac4897fc658817c8afc7dbc056b433be26

Description

Interpreter for the language ASL that Arm uses to write their ISA specifications.

Currently supports reading/typechecking the specification, interactive execution of ASL statements and expressions, executing opcodes one at a time, loading ELF files and executing Arm binaries.

Published: 05 Jan 2020

Dependencies (9)

  1. z3 <= "4.7.1"
  2. zarith
  3. pprint < "20220103"
  4. ott < "0.31"
  5. ocamlfind build
  6. ocamlbuild build
  7. menhir
  8. linenoise
  9. ocaml >= "4.09"

Dev Dependencies

None

Used by

None

Conflicts

None