C extraction cosmetics
This MR introduces a mechanism for program transformations similar to the one in Compile
. This allows to optimize some common constructs such as if (!(x == 0)) ...
.
This MR introduces a mechanism for program transformations similar to the one in Compile
. This allows to optimize some common constructs such as if (!(x == 0)) ...
.