Skip to content

Allow integer reductions

Nick Curtis requested to merge arghdos/loopy:allow_integer_reductions into master

Enables reductions on integer variables, and adds a correctness test for said reductions

Merge request reports