Fix typos

Fix the places that should be using PETSC_STATIC_ARRAY_LENGTH

... and apply it

Manual linter fixes: ts

Rename PetscValidPointer -> PetscAssertPointer

Deploy new PetscValidPointer, remove PetscValidXXXPointer

Merge remote-tracking branch 'origin/release'

Merge branch 'stefanozampini/tstheta' into 'main'

Small optimizations in TSTHETA

See merge request petsc/petsc!6723

Correct the description of the basic symplectic integrator

Merge remote-tracking branch 'origin/release'

TSTHETA: small optimization

save from useless AXPYs if not endpoint variant

TSTHETA: support TSResize

TSALPHA: support TSResize

TSBDF: support TSResize

TSRK: support TSResize

Lint apply: ts

TSBASICSYMPLECTIC: fix step computation

HAVE_FORTRAN should be USE_FORTRAN_BINDINGS since it is about generating the Fortran bindings, not about if the Fortran compiler exists

Fix gcc-13 -Warray-bounds warnings involving hypothetical negative sizes

Static analysis should be able to prove that these are always
non-negative, but we can use PetscMax(s, 0) to avoid triggering

Fix gcc-13 -Warray-bounds warnings involving hypothetical negative sizes

Static analysis should be able to prove that these are always
non-negative, but we can use PetscMax(s, 0) to avoid triggering this
warning.

In function ‘PetscMemcpy’,
inlined from ‘TSRKRegister’ at /home/jed/petsc/src/ts/impls/explicit/rk/rk.c:470:10:
/home/jed/petsc/include/petscstring.h:711:3: warning: ‘memcpy’ pointer overflow between offset 0 and size [-17179869184, -8] [-Warray-bounds=]
711 | memcpy(a, b, n);
| ^~~~~~~~~~~~~~~

show more ...

Merge remote-tracking branch 'origin/release'

Fix some improper use of COMM_SELF in error reporting