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
LicenseBSD-3-Clause
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.2.0.tar.gz
md5=f4581fd209256823fa4d569ac96c8cee
sha512=fd4a74294beb9eeeafa80c9224b5dc30f5e5ebde4d53fa601929d283b6ca72154de313874321774914f738ac6f0d640e59452f7d03cb1db7b3a019b48b82e0d4
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/asli/asli.0.2.0/opam
No package is dependent