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()

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

Enable docs linting

See merge request petsc/petsc!6667

Don't print extra newline at the end of notes

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 ...