package asli

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

Install

Dune Dependency

Authors

Maintainers

Sources

0.2.0.tar.gz
md5=f4581fd209256823fa4d569ac96c8cee
sha512=fd4a74294beb9eeeafa80c9224b5dc30f5e5ebde4d53fa601929d283b6ca72154de313874321774914f738ac6f0d640e59452f7d03cb1db7b3a019b48b82e0d4

CHANGES.md.html

0.2.0 (2020-05-15)

  • Handle more of Arm's specs (make grammar, etc. more flexible)

  • Split libASL out from ASLi to make it easier to reuse parts of ASLi in other tools.

  • Changed to semantic numbering system (i.e., 3-part format).

  • Internal change to using Dune build system. This replaces the ocamlfind dependency with a dune dependency.

0.1 (2020-01-01)

  • Added support for loading ELF files and executing binaries.

0.0 (2019-08-30)

Initial release of ASLi supporting

  • loading ASL specifications

  • evaluating expressions and statements

OCaml

Innovation. Community. Security.