inducer / inducer/loopy

rename_inames does not map domains

Open
#726 0 comments 0 reactions 0 assignees View on GitHub
Dominant language
Python
Stars
636
Forks
81
Avg merge
1d 19h
Merged PRs (30d)
7

Description

For eg:
```python
knl = lp.make_kernel(
[
"{ [i]: 0<=i<10 }",
"{ [k]: 0<=k= 0 }
```

Looking at the intermediate domains before unused inames are removed we see the issue.
```
{ [i, j] : 0 <= i <= 9 and 0 <= j <= 9 }
[i] -> { [k] : 0 <= k < i }
```
Note that the domain with `k` does not have `j` in it.

Contributor guide

No contributing guide indexed for this repository

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.