package asli
Interpreter for Arm's Architecture Specification Language (ASL)
Install
Dune Dependency
Authors
Maintainers
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
On This Page