Groups

isl Development

1–30 of 3668

0 selected

Avinash M N, … Sven Verdoolaege6

Jul 9

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

Jul 9

Ranganhar Guo, Sven Verdoolaege2

Jun 17

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

Jun 17

Jun 17

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

Jun 17

Schrodinger ZHU Yifan, Sven Verdoolaege2

May 7

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:

May 7

Pedro Silvestre, Sven Verdoolaege2

May 6

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

May 6

Ranganhar Guo, Sven Verdoolaege4

Apr 30

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 !

Apr 30

Webb Xu, Sven Verdoolaege5

Apr 19

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

Apr 19

dc genunix, Sven Verdoolaege2

Apr 14

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

Apr 14

Mar 18

PET not installing pet.pc pkgconfig files

This patch seems to do the trick: ``` diff --git a/Makefile.am b/Makefile.am index 56cb1fa..a924412

unread,

PET not installing pet.pc pkgconfig files

This patch seems to do the trick: ``` diff --git a/Makefile.am b/Makefile.am index 56cb1fa..a924412

Mar 18

Emil Vatai, Sven Verdoolaege3

Mar 16

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

Mar 16

Ranganhar Guo, Sven Verdoolaege11

Mar 15

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.

Mar 15

Ranganhar Guo, Sven Verdoolaege2

Mar 3

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

Mar 3

Liviu Ionescu, Sven Verdoolaege8

Feb 11

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,

Feb 11

Jan 2

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]

Jan 2

Jan 2

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]

Jan 2

Lars van den Haak, Sven Verdoolaege2

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 Qihang5

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 Guo4

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 Schmitt2

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

Pedro Silvestre, Sven Verdoolaege6

10/20/24

How to use Conditional Validity Scheduling Constraints

On Sat, Oct 19, 2024 at 01:48:31PM -0700, Pedro Silvestre wrote: > > Why do you want to do this

unread,

How to use Conditional Validity Scheduling Constraints

On Sat, Oct 19, 2024 at 01:48:31PM -0700, Pedro Silvestre wrote: > > Why do you want to do this

10/20/24

Emil Vatai, Sven Verdoolaege2

9/11/24

pet_loopback and onriginal version of medley/deriche give different results

On Tue, Sep 10, 2024 at 11:46:39PM -0700, Emil Vatai wrote: > Hello! > > While checking

unread,

pet_loopback and onriginal version of medley/deriche give different results

On Tue, Sep 10, 2024 at 11:46:39PM -0700, Emil Vatai wrote: > Hello! > > While checking

9/11/24

Sven Verdoolaege

8/11/24

release imminent

I will be releasing a new version of isl soon. skimo

unread,

release imminent

I will be releasing a new version of isl soon. skimo

8/11/24

alex....@gmail.com, … Sven Verdoolaege15

7/24/24

PPCG does not build well on Ubuntu 24.04 LTS

On Tue, Jul 23, 2024 at 07:59:06AM -0700, Alex Susu wrote: > On Monday, July 22, 2024 at 10:51:53

unread,

PPCG does not build well on Ubuntu 24.04 LTS

On Tue, Jul 23, 2024 at 07:59:06AM -0700, Alex Susu wrote: > On Monday, July 22, 2024 at 10:51:53

7/24/24

Ian McNish, Sven Verdoolaege2

6/22/24

isl-0.24 'make check' is broken on HP-UX 11.31

On Mon, Jun 17, 2024 at 09:50:11AM -0700, Ian McNish wrote: > The bundled version of 'diff

unread,

isl-0.24 'make check' is broken on HP-UX 11.31

On Mon, Jun 17, 2024 at 09:50:11AM -0700, Ian McNish wrote: > The bundled version of 'diff

6/22/24

Shizhi Tang, … Sven Verdoolaege8

6/16/24

Preserving or detecting nested divisions

On Sun, Jan 14, 2024 at 06:53:34AM -0800, Shizhi Tang wrote: > Sorry, it was my fault. I got my

unread,

Preserving or detecting nested divisions

On Sun, Jan 14, 2024 at 06:53:34AM -0800, Shizhi Tang wrote: > Sorry, it was my fault. I got my

6/16/24

Emil Vatai, Sven Verdoolaege11

6/15/24

Implementing loop fusion in ISL

Huge thanks (especially for the quick answer). Based on this I found the bug in my original code. On

unread,

Implementing loop fusion in ISL

Huge thanks (especially for the quick answer). Based on this I found the bug in my original code. On

6/15/24

Uday Reddy B, Sven Verdoolaege3

5/25/24

Simplification - gist operation

On Sun, May 12, 2024 at 07:17:21PM +0530, Uday K Bondhugula wrote: > This is reg. the

unread,

Simplification - gist operation

On Sun, May 12, 2024 at 07:17:21PM +0530, Uday K Bondhugula wrote: > This is reg. the

5/25/24

Liviu Ionescu, Sven Verdoolaege4

4/19/24

Since 2.25 cannot build on macOS 10.13

On Fri, Apr 19, 2024 at 11:47:07AM +0300, Liviu Ionescu wrote: > > On 18 Apr 2024, at 23:35,

unread,

Since 2.25 cannot build on macOS 10.13

On Fri, Apr 19, 2024 at 11:47:07AM +0300, Liviu Ionescu wrote: > > On 18 Apr 2024, at 23:35,

4/19/24

dc genunix, … Sven Verdoolaege3

4/19/24

In isl_coalesce.c there is a comparison of a pointer to an integer. This is wrong.

On Thu, Apr 18, 2024 at 02:53:44PM -0700, dc genunix wrote: > $ diff -u ./isl_coalesce.c.orig ./

unread,

In isl_coalesce.c there is a comparison of a pointer to an integer. This is wrong.

On Thu, Apr 18, 2024 at 02:53:44PM -0700, dc genunix wrote: > $ diff -u ./isl_coalesce.c.orig ./

4/19/24

chuck wu, … Dmitry N. Mikushin6

4/15/24

Benchmark question

> In principle karpathy/llm.c and ggerganov/whisper.cpp should serve well as "benchmarks

unread,

Benchmark question

> In principle karpathy/llm.c and ggerganov/whisper.cpp should serve well as "benchmarks

4/15/24

Search

Clear search

Close search

Google apps

Main menu