Jed Brown

It's likely to come up in review. Peter works on deal.II, which uses the approach of creating a Docker image with all dependencies and using that from Actions. https://github.com/dealii/dealii/blob/master/.github/workflows/linux.yml#L40 An...

I would suggest starting with [`src/ksp/pc/impls/saviennacl/saviennacl.cxx`](https://github.com/petsc/petsc/blob/master/src/ksp/pc/impls/saviennacl/saviennacl.cxx) in PETSc 'master', which interfaces to a (GPU-capable) smoothed aggregation solver in ViennaCL. @karlrupp could comment further about CUDA-specific details.

So `MPIAIJ` matrices are stored with the diagonal block separate from the off-diagonal block (to overlap communication of the halo needed by the vector). `MatMPIAIJGetLocalMat` takes that partitioned representation and...

I guess this is the point of the notebook on figshare, but a link or reproduced figure from the repository would still be useful to anyone that finds your software...

I'm also hitting this with emacs-29 and emacs-30. The patch linked above is now 404 because the package has been removed from Fedora. I salvaged the patch file from [this...

Hi :wave:, thanks for looking into this. Have you gotten a chance to make progress or would scripting around Clément's solution be the recommended short-term workaround?

Thanks for looking into this. Do you have a recommendation for emacs 29 or 30? I could revert to an older version if needed, though would need to keep it...

Thanks, sorry about my slow reply. This is on latest `master` (17d4f506453c2401254b690b978f73c1a379fb4f). ```console $ ./install-sh Setting PVSPATH in the "pvs", "pvsio", "proveit", and "provethem" shell scripts to /home/jed/src/pvs If this...

Yeah, it's attached in the comment above. Feel free to move this to email if you prefer.

This is in the repo in which I tried applying the patch discussed above. ```console $ ./pvs -batch -q -l emacs/pvs-set-prelude-info.el -f set-prelude-files-and-regions No executable available in /home/jed/src/pvs/bin/ix86_64-Linux $ tree...