package unisim_archisec

  1. Overview
  2. Docs
UNISIM-VP DBA decoder

Install 

dune-project
 Dependency

binsec.github.io Readme Changelog BSD-3-Clause License Edit opam file Versions (14)

Authors

  1. F
    Frédéric Recoules
  2. Y
    Yves Lhuillier

Maintainers

  1. B
    BINSEC <binsec@saxifrage.saclay.cea.fr>

Sources

unisim_archisec-0.0.13.tbz
sha256=a432dbb05ea7e0748643259611beff4562be9c259f4bea7a0f2fc6e63967964d
sha512=5b9f285723d134bbbe2f43d6c7367aaa95a7d3c5092dc5131fca35d3c082036be79326a45cfc42cf0e8bce46fc1cdd44491cc9242423e579ab771628ece9bf50

doc/unisim_archisec.amd64dba/Amd64dba/index.html

Module Amd64dbaSource

include module type of struct include Unisim_archisec.Amd64 end
Sourceval decode : m64:bool -> addr:int64 -> string -> string