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/Asl_utils/class-equivalences/index.html

Class Asl_utils.equivalencesSource

val mutable forest : tree Bindings.t
method private find : tree -> tree
method private find_ident : AST.ident -> tree
method canonicalize : AST.ident -> AST.ident
method merge : AST.ident -> AST.ident -> unit
method private normalize : unit
method mapping : AST.ident Bindings.t
method classes : IdentSet.t Bindings.t
method pp : string -> unit
OCaml

Innovation. Community. Security.