Groups

isl Development

1–30 of 3690

0 selected

Vimal Patel, Sven Verdoolaege4

May 3

Stride detection fails in AST generation in presence of floordiv expression

On Mon, Apr 27, 2026 at 08:23:39AM +0530, Vimal Patel wrote: > > However, isl should be able to

unread,

Stride detection fails in AST generation in presence of floordiv expression

On Mon, Apr 27, 2026 at 08:23:39AM +0530, Vimal Patel wrote: > > However, isl should be able to

May 3

Emil Vatai, Sven Verdoolaege5

May 2

Handling >= 2D (dynamic) arrays with PET

Thanks! Emil Vatai On Sun, 3 May 2026, 06:41 Sven Verdoolaege, <sven.ver...@telenet.be>

unread,

Handling >= 2D (dynamic) arrays with PET

Thanks! Emil Vatai On Sun, 3 May 2026, 06:41 Sven Verdoolaege, <sven.ver...@telenet.be>

May 2

Michael Kruse, Sven Verdoolaege6

Apr 21

isl_aff.c:5204: map is not single-valued

Am Mo., 20. Apr. 2026 um 23:53 Uhr schrieb Sven Verdoolaege <sven.ver...@telenet.be>: >

unread,

isl_aff.c:5204: map is not single-valued

Am Mo., 20. Apr. 2026 um 23:53 Uhr schrieb Sven Verdoolaege <sven.ver...@telenet.be>: >

Apr 21

Uday Reddy B, Sven Verdoolaege5

Apr 10

isl codegen: trivially redundant conditionals

On Thu, Apr 09, 2026 at 06:04:29PM +0530, Uday K Bondhugula wrote: > On Tue, 7 Apr 2026 at 01:46,

unread,

isl codegen: trivially redundant conditionals

On Thu, Apr 09, 2026 at 06:04:29PM +0530, Uday K Bondhugula wrote: > On Tue, 7 Apr 2026 at 01:46,

Apr 10

Baudilio Tejerina, Sven Verdoolaege2

Apr 9

Reporting test FAIL in ISL-0.27

On Mon, Apr 06, 2026 at 09:25:44PM -0400, Baudilio Tejerina wrote: > Hello. > > For your

unread,

Reporting test FAIL in ISL-0.27

On Mon, Apr 06, 2026 at 09:25:44PM -0400, Baudilio Tejerina wrote: > Hello. > > For your

Apr 9

Schrodinger ZHU Yifan, Sven Verdoolaege3

Mar 31

ISL's high-level rust binding

I have updated the implementation to auto generate the rust binding by reading `__isl_keep/__isl_give

unread,

ISL's high-level rust binding

I have updated the implementation to auto generate the rust binding by reading `__isl_keep/__isl_give

Mar 31

Michael Kruse, Sven Verdoolaege3

Mar 25

isl crash: segmentation fault

I can confirm this fixed the issue. Thank you. Am So., 22. März 2026 um 21:18 Uhr schrieb Sven

unread,

isl crash: segmentation fault

I can confirm this fixed the issue. Thank you. Am So., 22. März 2026 um 21:18 Uhr schrieb Sven

Mar 25

Michael Kruse, Sven Verdoolaege3

Mar 1

isl_ast_build_node_from_schedule fails on indirectly empty domain

I confirm that this fixed the Polly issue. Michael Am Sa., 28. Feb. 2026 um 21:45 Uhr schrieb Sven

unread,

isl_ast_build_node_from_schedule fails on indirectly empty domain

I confirm that this fixed the Polly issue. Michael Am Sa., 28. Feb. 2026 um 21:45 Uhr schrieb Sven

Mar 1

Michael Kruse, Sven Verdoolaege7

Feb 22

isl crash: Assertion "pivot >= 0" failed

Thanks for the bugfix. I confirm that it is working. Michael Am So., 22. Feb. 2026 um 22:02 Uhr

unread,

isl crash: Assertion "pivot >= 0" failed

Thanks for the bugfix. I confirm that it is working. Michael Am So., 22. Feb. 2026 um 22:02 Uhr

Feb 22

Michael Kruse, Sven Verdoolaege3

Feb 7

isl crash: cannot handle void expression

Thank you. I confirm that the patch is working. MIchael Am Sa., 7. Feb. 2026 um 22:14 Uhr schrieb

unread,

isl crash: cannot handle void expression

Thank you. I confirm that the patch is working. MIchael Am Sa., 7. Feb. 2026 um 22:14 Uhr schrieb

Feb 7

Michael Kruse, Sven Verdoolaege4

Feb 2

isl crash: total dimensionality changed unexpectedly

Am Mo., 2. Feb. 2026 um 18:22 Uhr schrieb Sven Verdoolaege <sven.ver...@telenet.be>: >

unread,

isl crash: total dimensionality changed unexpectedly

Am Mo., 2. Feb. 2026 um 18:22 Uhr schrieb Sven Verdoolaege <sven.ver...@telenet.be>: >

Feb 2

Vimal Patel, Sven Verdoolaege3

Jan 27

Over-approximated iteration domain for generated AST for a given schedule map

Thanks, Sven. Tried the latest commit and it works as expected. On Wednesday, January 28, 2026 at 3:

unread,

Over-approximated iteration domain for generated AST for a given schedule map

Thanks, Sven. Tried the latest commit and it works as expected. On Wednesday, January 28, 2026 at 3:

Jan 27

Vimal Patel, … Sven Verdoolaege7

12/31/25

Is this over-approximation in isl_set_get_simple_fixed_box_hull expected?

Thanks, Sven, for a super quick resolution. On Wed, Dec 31, 2025 at 6:11 PM Sven Verdoolaege <sven

unread,

Is this over-approximation in isl_set_get_simple_fixed_box_hull expected?

Thanks, Sven, for a super quick resolution. On Wed, Dec 31, 2025 at 6:11 PM Sven Verdoolaege <sven

12/31/25

Torsten Lüttgert, Sven Verdoolaege3

12/5/25

isl_test_python.py segfaults with Python 3.14, 3.14.1

Well, that didn't help much. Apparently, it dies freeing a variable: #0

unread,

isl_test_python.py segfaults with Python 3.14, 3.14.1

Well, that didn't help much. Apparently, it dies freeing a variable: #0

12/5/25

Leo Yin, Sven Verdoolaege3

11/22/25

building PET with -O0 causes PPCG coredump

On Mon, Oct 13, 2025 at 12:17:51AM +0200, 'Sven Verdoolaege' via isl Development wrote: >

unread,

building PET with -O0 causes PPCG coredump

On Mon, Oct 13, 2025 at 12:17:51AM +0200, 'Sven Verdoolaege' via isl Development wrote: >

11/22/25

Leo Yin, Sven Verdoolaege3

11/22/25

Which version of clang should be used to build PPCG?

On Wed, Oct 08, 2025 at 08:42:04PM -0700, Leo Yin wrote: > When I use clang-21.0.0 to build PPCG,

unread,

Which version of clang should be used to build PPCG?

On Wed, Oct 08, 2025 at 08:42:04PM -0700, Leo Yin wrote: > When I use clang-21.0.0 to build PPCG,

11/22/25

Emil Vatai, Sven Verdoolaege5

11/22/25

PET not installing pet.pc pkgconfig files

On Tue, Mar 18, 2025 at 08:34:25PM -0700, Emil Vatai wrote: > This patch seems to do the trick:

unread,

PET not installing pet.pc pkgconfig files

On Tue, Mar 18, 2025 at 08:34:25PM -0700, Emil Vatai wrote: > This patch seems to do the trick:

11/22/25

Man Xavier, … Sven Verdoolaege4

11/13/25

Loop Transform Using ISL

On Wed, Nov 12, 2025 at 05:31:46PM -0800, Man Xavier wrote: > Thanks for your instant reply! >

unread,

Loop Transform Using ISL

On Wed, Nov 12, 2025 at 05:31:46PM -0800, Man Xavier wrote: > Thanks for your instant reply! >

11/13/25

11/12/25

Loop Transform using ISL

I'm new to ISL. I'm trying to Transform AST for r in range(10) for p in range(10) S0: A1[0,p]

unread,

Loop Transform using ISL

I'm new to ISL. I'm trying to Transform AST for r in range(10) for p in range(10) S0: A1[0,p]

11/12/25

Emil Vatai, Sven Verdoolaege4

11/7/25

ISL allows illegal split? (aka what am I doing wrong?)

On Fri, Nov 07, 2025 at 07:32:01PM +0900, Emil Vatai wrote: > Thanks for the answer. > > So

unread,

ISL allows illegal split? (aka what am I doing wrong?)

On Fri, Nov 07, 2025 at 07:32:01PM +0900, Emil Vatai wrote: > Thanks for the answer. > > So

11/7/25

Emil Vatai, Sven Verdoolaege6

10/30/25

Passing -D defines to PET

The pkgconfig stuff is somehow still not there :'-) https://repo.or.cz/pet.git/blob/HEAD:/

unread,

Passing -D defines to PET

The pkgconfig stuff is somehow still not there :'-) https://repo.or.cz/pet.git/blob/HEAD:/

10/30/25

Maciej Poliwoda, Sven Verdoolaege2

10/20/25

Possible issue with pet_scop_get_context generating incorrect context for specific loop case

On Mon, Oct 20, 2025 at 01:20:05AM -0700, Maciej Poliwoda wrote: > I'm not sure how exactly

unread,

Possible issue with pet_scop_get_context generating incorrect context for specific loop case

On Mon, Oct 20, 2025 at 01:20:05AM -0700, Maciej Poliwoda wrote: > I'm not sure how exactly

10/20/25

mark dunn, Sven Verdoolaege2

9/19/25

Two small configuration bugs

On Thu, Sep 18, 2025 at 07:37:28AM -0700, mark dunn wrote: > In your latest code (actually from

unread,

Two small configuration bugs

On Thu, Sep 18, 2025 at 07:37:28AM -0700, mark dunn wrote: > In your latest code (actually from

9/19/25

Sergei Trofimovich, Sven Verdoolaege4

9/13/25

[PATCH] Makefile.am: add explicit `isl_version.lo` -> `gitversion.h`

On Sun, Sep 07, 2025 at 09:57:26PM +0100, Sergei Trofimovich wrote: > On Sun, 7 Sep 2025 17:56:40

unread,

[PATCH] Makefile.am: add explicit `isl_version.lo` -> `gitversion.h`

On Sun, Sep 07, 2025 at 09:57:26PM +0100, Sergei Trofimovich wrote: > On Sun, 7 Sep 2025 17:56:40

9/13/25

Avinash M N, … Sven Verdoolaege6

7/9/25

Help Needed: Compatible Barvinok + ISL Versions for Loop Memory Access Volume Estimation

On Wed, Jul 09, 2025 at 06:24:04AM -0700, Avinash MN wrote: > Dear Mr. Verdoolaege, > > I

unread,

Help Needed: Compatible Barvinok + ISL Versions for Loop Memory Access Volume Estimation

On Wed, Jul 09, 2025 at 06:24:04AM -0700, Avinash MN wrote: > Dear Mr. Verdoolaege, > > I

7/9/25

Ranganhar Guo, Sven Verdoolaege2

6/17/25

How to construct a division constraint

On Mon, Jun 16, 2025 at 07:30:14PM -0700, Ranganhar Guo wrote: > Now I have an isl_map, which

unread,

How to construct a division constraint

On Mon, Jun 16, 2025 at 07:30:14PM -0700, Ranganhar Guo wrote: > Now I have an isl_map, which

6/17/25

6/17/25

Please suggest the compatible Barvinok + ISL Versions for Loop Memory Access Volume Estimation

Hi all, I'm currently working on estimating memory access volume (number of iterations per

unread,

Please suggest the compatible Barvinok + ISL Versions for Loop Memory Access Volume Estimation

Hi all, I'm currently working on estimating memory access volume (number of iterations per

6/17/25

Pedro Silvestre, Sven Verdoolaege2

5/6/25

Parametric max value of expression

On Tue, May 06, 2025 at 03:13:08AM -0700, Pedro Silvestre wrote: > Hello, > > I need to

unread,

Parametric max value of expression

On Tue, May 06, 2025 at 03:13:08AM -0700, Pedro Silvestre wrote: > Hello, > > I need to

5/6/25

Ranganhar Guo, Sven Verdoolaege4

4/30/25

Inquiry About Schedule Reading Issue with isl_schedule_read_from_file

On Wed, Apr 30, 2025 at 12:07:53AM -0700, Ranganhar Guo wrote: > Thanks, I have solved my issue !

unread,

Inquiry About Schedule Reading Issue with isl_schedule_read_from_file

On Wed, Apr 30, 2025 at 12:07:53AM -0700, Ranganhar Guo wrote: > Thanks, I have solved my issue !

4/30/25

Webb Xu, Sven Verdoolaege5

4/19/25

representations for "reshape"

Thank you. That helps a lot. On Monday, 6 January 2025 at 04:52:13 UTC+8 Sven Verdoolaege wrote: On

unread,

representations for "reshape"

Thank you. That helps a lot. On Monday, 6 January 2025 at 04:52:13 UTC+8 Sven Verdoolaege wrote: On

4/19/25

Search

Clear search

Close search

Google apps

Main menu