package unisim_archisec

  1. Overview
  2. Docs
UNISIM-VP DBA decoder

Install

Dune Dependency

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

Authors

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

Maintainers

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

Sources

unisim_archisec-0.0.2.tbz
sha256=1808b0113b272bb8b5609b8cc8f7f722bfe35cb81d02bc8283c435797389fffb
sha512=5e3d5e1fc0581ec3dd614e5365d904636cbdaae57136be5b92f96d4faecf5a2927a26a357632dbab918fa51726c3e909a9ab6cbeec7a4dcc6269c4727cd7051a

CHANGES.md.html

0.0.2 (2022-04-15)

  • handling of SSE instructions for AMD64

  • various bug fixes and code generator improvements

0.0.1 (2022-03-14)

  • update build system (dune 3.0) and improve dependency tracking

  • fix memory leak issues

  • various bug fixes and code improvements

0.0.0 (2021-10-05)

Initial release.

OCaml binding for the UNISIM DBA (Dynamic Bitvector Automata) decoder.

  • Arm32dba library exposes ARM/Thumb architecture;

  • Aarch64dba library exposes AARCH64 architecture;

  • Amd64dba library exposes AMD64 architecture.