Up – Package index » binsec » Library binsec » Binsec » Simplification_dba_block

Module `Binsec.Simplification_dba_block`

Intra-block simplifications

val block_simplifications : 
  Simplification_options.pmap ->
  Simplification_options.pmap

module Constant_propagation : sig ... end

module DC_elimination : sig ... end