asliversion

Interpreter for Arm's Architecture Specification Language (ASL)

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.

AuthorAlastair Reid
LicenseBSD3
Published
Homepagehttps://github.com/alastairreid/asl-interpreter
Issue Trackerhttps://github.com/alastairreid/asl-interpreter/issues
MaintainerAlastair Reid <alastair.d.reid@gmail.com>
Dependencies
Source [http] https://github.com/alastairreid/asl-interpreter/archive/0.1.tar.gz
md5=61ddc6521cdf481b774bec0dc5e82a35
sha512=b1baddfef9697933700e692a332d4ebdb791d1e294827071485d96939b22fb1594fc66b315f2692ac641287cefd418ac4897fc658817c8afc7dbc056b433be26
StatisticsNot installed in the last month.
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/asli/asli.0.1/opam
No package is dependent