loopy icon indicating copy to clipboard operation
loopy copied to clipboard

[Bug] Loopy's parsing of domains with 0-dims incompatible with ISL

Open mitkotak opened this issue 1 year ago • 0 comments

MWE

import loopy as lp
import islpy as isl

lp.make_kernel([isl.BasicSet("{[]:}")], [])  # Works
lp.make_kernel("{ []:  }", [])               # Fails?!

mitkotak avatar Aug 07 '22 03:08 mitkotak