[PPCG PATCH] update pet for more relaxed pet_expr_is_equal index comparison

1 view
Skip to first unread message

skim...@kotnet.org

unread,
Jul 29, 2021, 4:31:25 PMJul 29
to isl-dev...@googlegroups.com
From: Sven Verdoolaege <sven.ver...@gmail.com>

Signed-off-by: Sven Verdoolaege <sven.ver...@gmail.com>
---
pet | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pet b/pet
index 9246f617..d4edc961 160000
--- a/pet
+++ b/pet
@@ -1 +1 @@
-Subproject commit 9246f61776c4ab6585908675547b9b4fb24ca1db
+Subproject commit d4edc9619273da91e1524c4af97cece05afbd43a
--
2.25.1

skim...@kotnet.org

unread,
Jul 29, 2021, 4:49:05 PMJul 29
to isl-dev...@googlegroups.com
From: Sven Verdoolaege <sven.ver...@gmail.com>

Signed-off-by: Sven Verdoolaege <sven.ver...@gmail.com>
---
pet | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pet b/pet
index 9246f61776..d4edc96192 160000
Reply all
Reply to author
Forward
0 new messages