Sven Verdoolaege

[WIP] use templated isl types

8

Templated isl types require the user to specify the domain and range universes of isl objects, allowing the compiler to check whether it makes sense to combine pairs of objects....

use templated isl types

2

Templated isl types keep track of the number and nature of tuples in the spaces of an isl object as well as (optionally) their internal structure. This allows the compiler...

See, e.g., https://ci.pytorch.org/jenkins/job/tensorcomp-builds/job/tc-cuda9.0-cudnn7.1-ubuntu16.04-devel-build-test/259/consoleText I was able to reproduce it on my system. top10 contains exactly one element, but it is different from top1. The element in top10 corresponds to the...

https://ci.pytorch.org/jenkins/job/tensorcomp-builds/job/linux-xenial-gcc5-cuda9-cudnn7-py3-conda-build-test/682/console reports an illegal memory access, but an attempt to reproduce it in https://github.com/facebookresearch/TensorComprehensions/pull/458 doesn't seem to work.

Codegen::makeLoopIterators generates names for loop iterators, but they may clash with size parameter or tensor names.

intermittent failure of CompilationCacheTest.ExpectQuerySuccessConcurrent

2

I got this error message on a run of `test.sh` on 806e3b066a6a841786be4dde38357c972816dcaf: ``` [----------] 7 tests from CompilationCacheTest [ RUN ] CompilationCacheTest.ExpectQuerySuccess [ OK ] CompilationCacheTest.ExpectQuerySuccess (3558 ms) [ RUN...