Merge branch 'fix-space-in-barvinok-count' into 'master'
Make sure Barvinok-based count() returns a PwQPolynomial of the right space See merge request inducer/loopy!161
Loading
Please register or sign in to comment
Make sure Barvinok-based count() returns a PwQPolynomial of the right space See merge request inducer/loopy!161