Another bump on the verifier relaxation.

xdslproject · Aug 20, 2024 · 2c8dfae · 2c8dfae
1 parent 5309538
commit 2c8dfae
Show file tree

Hide file tree

Showing 6 changed files with 5 additions and 7 deletions.
diff --git a/.github/workflows/ci-lit.yml b/.github/workflows/ci-lit.yml
@@ -27,7 +27,7 @@ jobs:
 
     - name: Install requirements and xDSL
       run: |
-        pip install git+https://github.com/xdslproject/xdsl@f6fdfb86d20f39f2d0e2e3f76900a1013bc5ef79
+        pip install git+https://github.com/xdslproject/xdsl@935675efd470505028466917126f8cc8f64ce4e3
         pip install -e .[tests]
 
     - name: Execute lit tests

diff --git a/.github/workflows/ci-mlir-mpi-openmp.yml b/.github/workflows/ci-mlir-mpi-openmp.yml
@@ -36,7 +36,7 @@ jobs:
       run: |
         pip install -e .[tests]
         pip install mpi4py
-        pip install git+https://github.com/xdslproject/xdsl@f6fdfb86d20f39f2d0e2e3f76900a1013bc5ef79
+        pip install git+https://github.com/xdslproject/xdsl@935675efd470505028466917126f8cc8f64ce4e3
 
     - name: Test with MPI + openmp
       run: |

diff --git a/.github/workflows/ci-mlir-mpi.yml b/.github/workflows/ci-mlir-mpi.yml
@@ -36,7 +36,7 @@ jobs:
       run: |
         pip install -e .[tests]
         pip install mpi4py
-        pip install git+https://github.com/xdslproject/xdsl@f6fdfb86d20f39f2d0e2e3f76900a1013bc5ef79
+        pip install git+https://github.com/xdslproject/xdsl@935675efd470505028466917126f8cc8f64ce4e3
 
     - name: Test with MPI - no Openmp
       run: |

diff --git a/.github/workflows/ci-mlir-openmp.yml b/.github/workflows/ci-mlir-openmp.yml
@@ -36,7 +36,7 @@ jobs:
       run: |
         pip install -e .[tests]
         pip install mpi4py
-        pip install git+https://github.com/xdslproject/xdsl@f6fdfb86d20f39f2d0e2e3f76900a1013bc5ef79
+        pip install git+https://github.com/xdslproject/xdsl@935675efd470505028466917126f8cc8f64ce4e3
 
     - name: Test no-MPI, Openmp
       run: |

diff --git a/.github/workflows/ci-mlir.yml b/.github/workflows/ci-mlir.yml
@@ -35,7 +35,7 @@ jobs:
     - name: Install requirements and xDSL
       run: |
         pip install -e .[tests]
-        pip install git+https://github.com/xdslproject/xdsl@f6fdfb86d20f39f2d0e2e3f76900a1013bc5ef79
+        pip install git+https://github.com/xdslproject/xdsl@935675efd470505028466917126f8cc8f64ce4e3
         
     - name: Test no-MPI, no-Openmp
       run: |

diff --git a/devito/xdsl_core/xdsl_cpu.py b/devito/xdsl_core/xdsl_cpu.py
@@ -184,7 +184,6 @@ def _jit_compile(self):
                 xdsl_args = [source_name,
                              "--allow-unregistered-dialect",
                              "-p",
-                             "--disable-verify",
                              xdsl_pipeline[1:-1],]
                 # We use the Python API to run xDSL rather than a subprocess
                 # This avoids reimport overhead
@@ -461,7 +460,6 @@ def _jit_compile(self):
                 # Run the first pipeline, mostly xDSL-centric
                 xdsl_args = [source_name,
                              "--allow-unregistered-dialect",
-                             "--disable-verify",
                              "-p",
                              xdsl_pipeline[1:-1],]
                 # We use the Python API to run xDSL rather than a subprocess