Groups
Groups
Sign in
Groups
Groups
isl Development
Conversations
About
Send feedback
Help
isl Development
1–30 of 3668
Mark all as read
Report group
0 selected
Avinash M N
, …
Sven Verdoolaege
6
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 Verdoolaege
2
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
Avinash M N
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 Verdoolaege
2
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 Verdoolaege
2
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 Verdoolaege
4
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 Verdoolaege
5
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 Verdoolaege
2
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
Emil Vatai
2
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 Verdoolaege
3
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 Verdoolaege
11
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 Verdoolaege
2
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 Verdoolaege
8
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
Webb Xu
2
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
Webb Xu
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 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
Pedro Silvestre
,
Sven Verdoolaege
6
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 Verdoolaege
2
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 Verdoolaege
15
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 Verdoolaege
2
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 Verdoolaege
8
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 Verdoolaege
11
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 Verdoolaege
3
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 Verdoolaege
4
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 Verdoolaege
3
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. Mikushin
6
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
