Opam Package asli.0.2.0

Package info

opam-nameasli
opam-version0.2.0
synopsisInterpreter 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.
authors
  • Alastair Reid
homepagehttps://github.com/alastairreid/asl-interpreter
licenseBSD-3-Clause
changes-fileCHANGES.md
readme-fileREADME.md
deps (9)
revdeps(0)
metas (2)
libraries (1)

Package modules

Package sources

asli

Package files

lib/asli/opam
lib/asli/libASL/visitor.ml
lib/asli/libASL/value.ml
lib/asli/libASL/utils.ml
lib/asli/libASL/tcheck.ml
lib/asli/libASL/primops.ml
lib/asli/libASL/loadASL.mli
lib/asli/libASL/loadASL.ml
lib/asli/libASL/libASL__Visitor.cmx
lib/asli/libASL/libASL__Visitor.cmt
lib/asli/libASL/libASL__Visitor.cmi
lib/asli/libASL/libASL__Value.cmx
lib/asli/libASL/libASL__Value.cmt
lib/asli/libASL/libASL__Value.cmi
lib/asli/libASL/libASL__Utils.cmx
lib/asli/libASL/libASL__Utils.cmt
lib/asli/libASL/libASL__Utils.cmi
lib/asli/libASL/libASL__Tcheck.cmx
lib/asli/libASL/libASL__Tcheck.cmt
lib/asli/libASL/libASL__Tcheck.cmi
lib/asli/libASL/libASL__Primops.cmx
lib/asli/libASL/libASL__Primops.cmt
lib/asli/libASL/libASL__Primops.cmi
lib/asli/libASL/libASL__LoadASL.cmx
lib/asli/libASL/libASL__LoadASL.cmti
lib/asli/libASL/libASL__LoadASL.cmt
lib/asli/libASL/libASL__LoadASL.cmi
lib/asli/libASL/libASL__Lexersupport.cmx
lib/asli/libASL/libASL__Lexersupport.cmt
lib/asli/libASL/libASL__Lexersupport.cmi
lib/asli/libASL/libASL__Lexer.cmx
lib/asli/libASL/libASL__Lexer.cmt
lib/asli/libASL/libASL__Lexer.cmi
lib/asli/libASL/libASL__Eval.cmx
lib/asli/libASL/libASL__Eval.cmt
lib/asli/libASL/libASL__Eval.cmi
lib/asli/libASL/libASL__Elf.cmx
lib/asli/libASL/libASL__Elf.cmt
lib/asli/libASL/libASL__Elf.cmi
lib/asli/libASL/libASL__Cpu.cmx
lib/asli/libASL/libASL__Cpu.cmti
lib/asli/libASL/libASL__Cpu.cmt
lib/asli/libASL/libASL__Cpu.cmi
lib/asli/libASL/libASL__Asl_visitor.cmx
lib/asli/libASL/libASL__Asl_visitor.cmt
lib/asli/libASL/libASL__Asl_visitor.cmi
lib/asli/libASL/libASL__Asl_utils.cmx
lib/asli/libASL/libASL__Asl_utils.cmt
lib/asli/libASL/libASL__Asl_utils.cmi
lib/asli/libASL/libASL__Asl_parser_pp.cmx
lib/asli/libASL/libASL__Asl_parser_pp.cmt
lib/asli/libASL/libASL__Asl_parser_pp.cmi
lib/asli/libASL/libASL__Asl_parser.cmx
lib/asli/libASL/libASL__Asl_parser.cmti
lib/asli/libASL/libASL__Asl_parser.cmt
lib/asli/libASL/libASL__Asl_parser.cmi
lib/asli/libASL/libASL__Asl_ast.cmx
lib/asli/libASL/libASL__Asl_ast.cmt
lib/asli/libASL/libASL__Asl_ast.cmi
lib/asli/libASL/libASL.ml
lib/asli/libASL/libASL.cmxs
lib/asli/libASL/libASL.cmxa
lib/asli/libASL/libASL.cmx
lib/asli/libASL/libASL.cmt
lib/asli/libASL/libASL.cmi
lib/asli/libASL/libASL.cma
lib/asli/libASL/libASL.a
lib/asli/libASL/lexersupport.ml
lib/asli/libASL/lexer.ml
lib/asli/libASL/eval.ml
lib/asli/libASL/elf.ml
lib/asli/libASL/cpu.mli
lib/asli/libASL/cpu.ml
lib/asli/libASL/asl_visitor.ml
lib/asli/libASL/asl_utils.ml
lib/asli/libASL/asl_parser_pp.ml
lib/asli/libASL/asl_parser.mli
lib/asli/libASL/asl_parser.ml
lib/asli/libASL/asl_ast.ml
lib/asli/libASL
lib/asli/dune-package
lib/asli/META
lib/asli
doc/asli/README.md
doc/asli/LICENSE
doc/asli/CHANGES.md
doc/asli
bin/asli