On Fri, Jun 27, 2014 at 1:22 PM, Tobias Grosser <tobias at grosser.es> wrote: > I now gist simplify with the parameter domain of the iteration spaces. This > removes all unnecessary checks. LGTM. Thanks, Sebastian