PIC

OCaPIC: PIC microcontrollers programmed in OCaml

OCAPIC OCamlClean Download References Documentation Contact

OCamlClean: An OCaml bytecode cleaner

OCamlClean is part of the OCaPIC project. It is used to reduce the size of executable files by statically eliminating deadcode.

It transforms a standard OCaml bytecode executable file in another semantically equivalent one. A static analysis is performed to detect closures (and their associated bytecode) that will never be executed.

Keep in mind that this ignores dynamic linking and breaks the compatibility with Dynlink module. For a ยต-controller, it is far more interesting to have the most compact binaries rather than having dynamic linking capacity.

You may get it from the download page.

ocamlclean.txt · Last modified: 2013/02/06 14:47 by philippe
Cette page utilise JavaScript. Si ce texte est visible, c'est que JavaScript est indisponible. Certains contenus ne vous sont alors pas accessibles.
Recent changes RSS feed Donate Powered by PHP Valid XHTML 1.0 Valid CSS Driven by DokuWiki