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

Install

github.com Readme Changelog BSD-3-Clause License Edit opam file

Authors

  1. A
    Alastair Reid

Maintainers

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

Sources

0.2.0.tar.gz
md5=f4581fd209256823fa4d569ac96c8cee
sha512=fd4a74294beb9eeeafa80c9224b5dc30f5e5ebde4d53fa601929d283b6ca72154de313874321774914f738ac6f0d640e59452f7d03cb1db7b3a019b48b82e0d4

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: 31 May 2020

Dependencies (8)

  1. z3 >= "4.8.7"
  2. zarith
  3. pprint < "20220103"
  4. linenoise
  5. ott < "0.31" & build
  6. menhir build
  7. ocaml >= "4.09"
  8. dune >= "2.5"

Dev Dependencies (1)

  1. alcotest with-test

Used by

None

Conflicts

None