Groups
Groups
Sign in
Groups
Groups
isl Development
Conversations
About
Send feedback
Help
isl Development
1–30 of 3679
Mark all as read
Report group
0 selected
Vimal Patel
, …
Sven Verdoolaege
7
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 Verdoolaege
3
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 Verdoolaege
3
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 Verdoolaege
3
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 Verdoolaege
5
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 Verdoolaege
4
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
Man Xavier
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 Verdoolaege
4
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 Verdoolaege
6
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 Verdoolaege
2
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 Verdoolaege
2
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 Verdoolaege
4
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 Verdoolaege
6
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 Verdoolaege
2
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
Avinash M N
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
Schrodinger ZHU Yifan
,
Sven Verdoolaege
2
5/7/25
ISL's high-level rust binding
On Wed, May 07, 2025 at 01:34:49PM +0000, 'Schrodinger ZHU Yifan' via isl Development wrote:
unread,
ISL's high-level rust binding
On Wed, May 07, 2025 at 01:34:49PM +0000, 'Schrodinger ZHU Yifan' via isl Development wrote:
5/7/25
Pedro Silvestre
,
Sven Verdoolaege
2
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 Verdoolaege
4
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 Verdoolaege
5
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
dc genunix
,
Sven Verdoolaege
2
4/14/25
Does ISL conform to any published C code specification?
On Sun, Apr 13, 2025 at 09:36:21PM -0700, dc genunix wrote: > There are many strange code bits
unread,
Does ISL conform to any published C code specification?
On Sun, Apr 13, 2025 at 09:36:21PM -0700, dc genunix wrote: > There are many strange code bits
4/14/25
Emil Vatai
,
Sven Verdoolaege
3
3/16/25
PET auto scop detection
Thanks! It works! On Sat, Mar 15, 2025 at 10:41 PM Sven Verdoolaege <sven.ver...@telenet.be
unread,
PET auto scop detection
Thanks! It works! On Sat, Mar 15, 2025 at 10:41 PM Sven Verdoolaege <sven.ver...@telenet.be
3/16/25
Ranganhar Guo
,
Sven Verdoolaege
11
3/15/25
Missing Header File for isl_schedule_node* in ISL Library Integration
On Sat, Mar 15, 2025 at 02:50:37AM -0700, Ranganhar Guo wrote: > Yeah, Thank you! I got it.
unread,
Missing Header File for isl_schedule_node* in ISL Library Integration
On Sat, Mar 15, 2025 at 02:50:37AM -0700, Ranganhar Guo wrote: > Yeah, Thank you! I got it.
3/15/25
Ranganhar Guo
,
Sven Verdoolaege
2
3/3/25
How to convert ISL AST to ISL Schedule?
On Sun, Mar 02, 2025 at 09:40:55PM -0800, Ranganhar Guo wrote: > > > I am writing to ask for
unread,
How to convert ISL AST to ISL Schedule?
On Sun, Mar 02, 2025 at 09:40:55PM -0800, Ranganhar Guo wrote: > > > I am writing to ask for
3/3/25
Liviu Ionescu
,
Sven Verdoolaege
8
2/11/25
compiling tests with clang 1[89] issues
On Tue, Feb 11, 2025 at 10:27:12PM +0200, Liviu Ionescu wrote: > > On 11 Feb 2025, at 22:01,
unread,
compiling tests with clang 1[89] issues
On Tue, Feb 11, 2025 at 10:27:12PM +0200, Liviu Ionescu wrote: > > On 11 Feb 2025, at 22:01,
2/11/25
Webb Xu
2
1/2/25
Representations for fused loops of elementwise and reshape
Hello, we are developing the fusion for "reshape", the case is for i in range 80: s0: a[i]
unread,
Representations for fused loops of elementwise and reshape
Hello, we are developing the fusion for "reshape", the case is for i in range 80: s0: a[i]
1/2/25
Webb Xu
1/2/25
Representations for fused elementwise and "reshape" loops
Hello, we are developing the fusion for "reshape", the case is for i in range 80: s0: a[i]
unread,
Representations for fused elementwise and "reshape" loops
Hello, we are developing the fusion for "reshape", the case is for i in range 80: s0: a[i]
1/2/25
Lars van den Haak
,
Sven Verdoolaege
2
12/19/24
Simplification of quantifiers
On Thu, Dec 19, 2024 at 05:55:37AM -0800, Lars van den Haak wrote: > In an email conversation
unread,
Simplification of quantifiers
On Thu, Dec 19, 2024 at 05:55:37AM -0800, Lars van den Haak wrote: > In an email conversation
12/19/24
Zheng Qihang
, …
Zheng Qihang
5
12/4/24
how to split a domain by sections?
Thank you very much for your answer! It helps me a lot. 在2024年12月5日星期四 UTC+8 03:41:05<Sven
unread,
how to split a domain by sections?
Thank you very much for your answer! It helps me a lot. 在2024年12月5日星期四 UTC+8 03:41:05<Sven
12/4/24
Sven Verdoolaege
,
Ranganhar Guo
4
12/1/24
Re: [isl-dev] PPCG configure options On Ubuntu 22.04
Please keep the mailing list in CC. Otherwise, I may not notice your message. > rm pet/libpet.la
unread,
Re: [isl-dev] PPCG configure options On Ubuntu 22.04
Please keep the mailing list in CC. Otherwise, I may not notice your message. > rm pet/libpet.la
12/1/24
Maxime Schmitt
2
11/15/24
IMPACT 2025 Workshop Call for Paper Extension
Hello, We are extending our submission period for short papers (2-3 pages) to November 29th (AoE).
unread,
IMPACT 2025 Workshop Call for Paper Extension
Hello, We are extending our submission period for short papers (2-3 pages) to November 29th (AoE).
11/15/24
