package unisim_archisec

You can search for identifiers within the package.

in-package search v0.2.0

UNISIM-VP DBA decoder

Install

Dune Dependency

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

Authors

Maintainers

B

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

Sources

unisim_archisec-0.0.1.tbz

sha256=562e567a0055ce13c44f8995752c957124e08a3bb6293a94265b4ef03e37bc4b

sha512=4f837c9b911894d2566f61145b3eb1d901a0e82de622975de806a1e6671a75d07a47b389a8c4b2664d20146c00f509d96010e5ee339d860679843922c8846f54

CHANGES.md.html

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.