charon_lib0.1.135

Module reconstruct_boxes

Sections

Micro-pass: reconstruct piecewise box allocations using malloc and ShallowInitBox.

Module Items

Structs

In charon_lib::transform::resugar

charon_lib::transform::resugar

Module reconstruct_boxes

Expand description

§Micro-pass: reconstruct piecewise box allocations using `malloc` and `ShallowInitBox`.

Structs§

Transform