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
copied = false, 2000)"
:class="{ 'border-gray-700': !copied, 'text-gray-100': !copied, 'focus:ring-orange-500': !copied, 'focus:border-orange-500': !copied, 'border-green-600': copied, 'text-green-600': copied, 'focus:ring-green-500': copied, 'focus:border-green-500': copied }">
- Published
- 31 May 2020
- Authors
- Maintainers
Sources
0.2.0.tar.gz
md5=f4581fd209256823fa4d569ac96c8cee
sha512=fd4a74294beb9eeeafa80c9224b5dc30f5e5ebde4d53fa601929d283b6ca72154de313874321774914f738ac6f0d640e59452f7d03cb1db7b3a019b48b82e0d4
Dependencies
alcotest
with-test
z3
>= "4.8.7"
pprint
< "20220103"
ott
< "0.31" & build
menhir
build
ocaml
>= "4.09"
dune
>= "2.5"
Reverse Dependencies