asliversion Documentation on ocaml.org
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.
| Author | Alastair Reid |
|---|---|
| License | BSD-3-Clause |
| Published | |
| Homepage | https://github.com/alastairreid/asl-interpreter |
| Issue Tracker | https://github.com/alastairreid/asl-interpreter/issues |
| Maintainer | Alastair Reid <alastair.d.reid@gmail.com> |
| Dependencies | |
| Source [http] | https://github.com/alastairreid/asl-interpreter/archive/0.1.tar.gz md5=61ddc6521cdf481b774bec0dc5e82a35 sha512=b1baddfef9697933700e692a332d4ebdb791d1e294827071485d96939b22fb1594fc66b315f2692ac641287cefd418ac4897fc658817c8afc7dbc056b433be26 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/asli/asli.0.1/opam |
No package is dependent
