package asli

  1. Overview
  2. Docs
Interpreter for Arm's Architecture Specification Language (ASL)

Install

Dune Dependency

Authors

Maintainers

Sources

0.2.0.tar.gz
md5=f4581fd209256823fa4d569ac96c8cee
sha512=fd4a74294beb9eeeafa80c9224b5dc30f5e5ebde4d53fa601929d283b6ca72154de313874321774914f738ac6f0d640e59452f7d03cb1db7b3a019b48b82e0d4

doc/asli.libASL/LibASL/index.html

Module LibASLSource

Sourcemodule Asl_ast : sig ... end
Sourcemodule Asl_parser : sig ... end
Sourcemodule Asl_parser_pp : sig ... end
Sourcemodule Asl_utils : sig ... end

ASL utility functions

Sourcemodule Asl_visitor : sig ... end

ASL visitor class

Sourcemodule Cpu : sig ... end
Sourcemodule Elf : sig ... end
Sourcemodule Eval : sig ... end

ASL evaluator

Sourcemodule Lexer : sig ... end
Sourcemodule Lexersupport : sig ... end

ASL lexer support

Sourcemodule LoadASL : sig ... end
Sourcemodule Primops : sig ... end

ASL primitive types and operations

Sourcemodule Tcheck : sig ... end

Type inference and checker for ASL language

Sourcemodule Utils : sig ... end

Generic utility functions

Sourcemodule Value : sig ... end

ASL interpreter values

Sourcemodule Visitor : sig ... end
OCaml

Innovation. Community. Security.