Luigi Fusco
Luigi Fusco
The simple program ```python @dace.program def bug(mat: dace.int32[N,N]): buff = np.zeros_like(mat) for i in dace.map[0:N]: for j in dace.map[0:N]: buff[i, j] = mat[i, j] * 2 for j in dace.map[0:N-1]:...
**Describe the bug** The library expansion for the Gemm operation using cublas is wrong on sliced matrices. This likely applies to other library expansions. Correct behavior would require the called...
I don't like the name too much, maybe someone has a better idea. This transformation covers some cases found in climate codes where the range of a nested map changes...
This pass takes a Python condition as a string (e.g. "flag == True"), parses it and, assuming it always holds throughout the SDFG, it deletes all unsatisfiable branches. This is...
As part of the series of SDFG rewriting transformations, IfExtraction targets nested SDFGs that begin with an if statement whose condition is independent of symbols defined or updated in the...
This PR adds the StateReplication and IfRaising transformations. StateReplication performs a normalization step. It takes a state with `n` incoming edges and creates an equivalent SDFG with `n` replicas of...