I added new transformations similar to those described in our paper (they allow targeting individual statements whenever possible). These transformations are: reshape, collapse, linearize, densify.
These changes also include relations and equation systems functionality useful for whiteboxing.
I did not change shift to reflect the presence of reshape, nor did I limit the applicability of stripmine to loops only to address #11.
I added new transformations similar to those described in our paper (they allow targeting individual statements whenever possible). These transformations are: reshape, collapse, linearize, densify.
These changes also include relations and equation systems functionality useful for whiteboxing.
I did not change shift to reflect the presence of reshape, nor did I limit the applicability of stripmine to loops only to address #11.