bap-primus

The BAP Microexecution Framework
IN THIS PACKAGE
Module type Bap_primus . Std . Primus . Linker . Code

Parameters

Signature

val exec : unit Machine.t

exec computes the code.