Update isl to 0.26 and pet to 0.11.7

Update submodules isl to 0.26 and pet to 0.11.7 - the latest respective release tags.
bondhugula · Dec 2, 2023 · 001cb37 · 001cb37
1 parent 821e77b
commit 001cb37
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 2 deletions.
diff --git a/isl b/isl
diff --git a/lib/constraints_isl.c b/lib/constraints_isl.c
@@ -28,6 +28,7 @@
 #include "isl/map.h"
 #include "isl/set.h"
 #include "isl/space.h"
+#include "isl/val.h"
 #include "isl/val_gmp.h"
 
 /* start: 0-indexed */

diff --git a/pet b/pet
+1 −0		.gitignore
+7 −0		ChangeLog
+9 −1		Makefile.am
+10 −4		README
+5 −0		clang.cc
+2 −2		configure.ac
+1 −1		isl
+47 −12		m4/ax_detect_clang.m4
+4 −0		pet.cc
+482 −0		pet_loopback.c
+1 −1		scan.h
+11 −4		scop.c
+1 −1		scop_plus.h
+1 −1		tests/continue5.scop