loopy
loopy copied to clipboard
[Bug] Loopy's parsing of domains with 0-dims incompatible with ISL
MWE
import loopy as lp
import islpy as isl
lp.make_kernel([isl.BasicSet("{[]:}")], []) # Works
lp.make_kernel("{ []: }", []) # Fails?!