asli

Interpreter for Arm's Architecture Specification Language (ASL)
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.

Install
Documentation github.com Changelog BSD-3-Clause License Edit opam file
Published
31 May 2020
Authors
Maintainers
Sources
0.2.0.tar.gz
md5=f4581fd209256823fa4d569ac96c8cee sha512=fd4a74294beb9eeeafa80c9224b5dc30f5e5ebde4d53fa601929d283b6ca72154de313874321774914f738ac6f0d640e59452f7d03cb1db7b3a019b48b82e0d4
Dependencies
alcotest with-test
z3 >= "4.8.7"
zarith
pprint < "20220103"
linenoise
ott < "0.31" & build
menhir build
ocaml >= "4.09"
dune >= "2.5"
Reverse Dependencies