Merge branch 'jacobf/2023-08-09/linter-detect-static-function-candidates' into 'main'

Linter detect possible static functions

See merge request petsc/petsc!6796

Linter now tries to detect functions that could be static, and makes it so.

Merge branch 'jacobf/2023-07-18/linter-documentation' into 'main'

Document Linter

See merge request petsc/petsc!6734

Document linter and add type hints

Merge branch 'tisaac/feature-type-generic-petsc-valid-pointer' into 'main'

Implement a type generic PetscValidPointer

See merge request petsc/petsc!6693

Update linter for PetscAssertPointer()

Rename PetscValidPointer -> PetscAssertPointer

Merge branch 'jacobf/2023-06-30/enable-doc-lint' into 'main'

Enable docs linting

See merge request petsc/petsc!6667

Reformat the error message output to remove the cursor blurb from the start, it was
confusing and misleading, and add support for color diagnostics

Merge branch 'jacobf/2023-02-08/misc-linter-bugfixes' into 'main'

Miscellaneous Linter Bugfixes

See merge request petsc/petsc!6035

Fix sync_print() bug in queue setup and unify all of the printing mechanisms

Merge branch 'jacobf/2021-10-11/clang-linter-parse-docstrings' into 'main'

Feature: Lint Sowing Docstrings

See merge request petsc/petsc!4443

Reshuffle linter code into a proper python package

Upgrade clang linter:
- Improved stability of clang library calls
- clang linter can now check docstrings for correctness
- Major improvements to d

Reshuffle linter code into a proper python package

Upgrade clang linter:
- Improved stability of clang library calls
- clang linter can now check docstrings for correctness
- Major improvements to diff merging
- Handle overlapping deletion by discarding one patch or the other, patches now support
callbacks to remove themselves from the linter if discarded
- Better duplicate and missing function argument detection
- Improve printing and diagnostics for functions
- Add checks for duplicate headers, non-lowercase levels, spacing between docstring and
symbol, indentation, title-cased headings, no content on comment begin and end lines
- Add better checking for sowing identifier matching
- Tests now can also output and diff:
- stdout (useful for when tests should catch errors but can't fix them)
- Fixed errors
- Now able to apply multiline patches, and far more robust diff support
- Add a lot more auto fixits
- Add new SourceLocation and SourceRange wrappers
- Major performance improvements in __lt__ and __ge__ from caching for SourceLocation and SourceRange
- check that function has a custom fortran interface if it has a function pointer and char
string
- Check that parameter lists start with the right character and
- Source fixes now applied in chronological order, and test that patches can be applied as well

- Improved parameter list alignment checker
- Add support for additional notes types and unknown/unhandled sections
- Allow disabling of diagnostics via '-fdiagnostic-name [yes/no/maybe-so]'
- enum docstring checking and better parameter-list alignment enforcement
- Check spacing in inline lists
- Check for duplicates and self-references in seealso lists
- Detect headers that are missing a colon, and detect headers that probably shouldn't be headers
- Dheck that synopsis descriptions aren't overly long-winded
- Handle inline code-block within parameter lists because snes.c is a nightmare
- Check explicit synopses contain the right parameters
- Added check to explicit macro docstrings on whether the symbol they claim to describe
exists in the header
- Improve diagnostic for matching argument idx
- Show trace back to parent arguments if applicable
- 10x performance improvements for SourceRange and SourceLocation
- Be able to handle arbitrary number of nested function-pointer parameters as documentation
- Rework initial loader, use lazy loading to improve startup time

Update dir-locals.el to reflect new 2 column indentation, and enforce no stars in comments

show more ...