en Copyright 2025 Java http://opengrok.kc2vjw.com:8080/history/petsc/src/sys/tests/linter/output/testValidHeaders.patch#9c5460f9064ca60dd71a234a1f6faf93e7a6b0c9 Merge branch 'jacobf/2023-08-09/linter-detect-static-function-candidates' into 'main'Linter detect possible static functionsSee merge request petsc/petsc!6796 List of files: /petsc/src/sys/tests/linter/output/testValidHeaders.patch Thu, 17 Aug 2023 16:08:06 +0000 Satish Balay <balay@mcs.anl.gov> http://opengrok.kc2vjw.com:8080/history/petsc/src/sys/tests/linter/output/testValidHeaders.patch#08bd18630702b140cadfae169e18a94782d78a64 Linter now tries to detect functions that could be static, and makes it so. List of files: /petsc/src/sys/tests/linter/output/testValidHeaders.patch Wed, 09 Aug 2023 19:33:02 +0000 Jacob Faibussowitsch <jacob.fai@gmail.com> http://opengrok.kc2vjw.com:8080/history/petsc/src/sys/tests/linter/output/testValidHeaders.patch#4ab547ceb31cf8c1287f5da2fc6aa6a54e2c08bd Merge branch 'jacobf/2021-10-11/clang-linter-parse-docstrings' into 'main'Feature: Lint Sowing DocstringsSee merge request petsc/petsc!4443 List of files: /petsc/src/sys/tests/linter/output/testValidHeaders.patch Thu, 12 Jan 2023 14:47:27 +0000 Satish Balay <balay@mcs.anl.gov> http://opengrok.kc2vjw.com:8080/history/petsc/src/sys/tests/linter/output/testValidHeaders.patch#447bcd8fae0acafb34f76e22d0a980ee3af1ea6c Reshuffle linter code into a proper python packageUpgrade 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 supportcallbacks 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 andsymbol, 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 charstring- 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 describeexists 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 timeUpdate dir-locals.el to reflect new 2 column indentation, and enforce no stars in comments List of files: /petsc/src/sys/tests/linter/output/testValidHeaders.patch Mon, 11 Oct 2021 22:02:31 +0000 Jacob Faibussowitsch <jacob.fai@gmail.com> http://opengrok.kc2vjw.com:8080/history/petsc/src/sys/tests/linter/output/testValidHeaders.patch#061e922f3926be00487707c73b78dd3d40309129 Merge branch 'jacobf/2022-09-21/2-bike-2-shed' into 'main'Feature: Bicycle Storage Facility 2See merge request petsc/petsc!5661 List of files: /petsc/src/sys/tests/linter/output/testValidHeaders.patch Thu, 22 Sep 2022 02:09:24 +0000 Satish Balay <balay@mcs.anl.gov> http://opengrok.kc2vjw.com:8080/history/petsc/src/sys/tests/linter/output/testValidHeaders.patch#f78929e5db2b9b9986f2e298899582a331e9dd49 linter patch files fixed for new format List of files: /petsc/src/sys/tests/linter/output/testValidHeaders.patch Wed, 21 Sep 2022 13:51:20 +0000 Jacob Faibussowitsch <jacob.fai@gmail.com> http://opengrok.kc2vjw.com:8080/history/petsc/src/sys/tests/linter/output/testValidHeaders.patch#58d68138c660dfb4e9f5b03334792cd4f2ffd7cc Merge branch 'barry/2022-08-21/clang-format-source' into 'main'format repository with clang-formatSee merge request petsc/petsc!5541 List of files: /petsc/src/sys/tests/linter/output/testValidHeaders.patch Tue, 23 Aug 2022 05:26:23 +0000 Satish Balay <balay@mcs.anl.gov> http://opengrok.kc2vjw.com:8080/history/petsc/src/sys/tests/linter/output/testValidHeaders.patch#05f500e1ff4e1e290d5e1357bb37148199502335 analyzer fixes to sync with clang-format changeRef:svcpetsc@cg:/scratch/svcpetsc/glci-builds/LjS-jb-N/0/petsc/petsc$ make test-lint LINTER_OPTIONS="--PETSC_ARCH=${PETSC_ARCH} --clang_lib=`llvm-config-14 --libdir`/libclang.so.1 --verbose --werror" REPLACE=1 List of files: /petsc/src/sys/tests/linter/output/testValidHeaders.patch Mon, 22 Aug 2022 16:41:23 +0000 Satish Balay <balay@mcs.anl.gov> http://opengrok.kc2vjw.com:8080/history/petsc/src/sys/tests/linter/output/testValidHeaders.patch#04346f8ccbfaa9fb73fb7dce6ecc10b18d1c2572 Merge branch 'barry/2022-07-20/add-clang-format' into 'main'Use clang-format to format PETSc source codeSee merge request petsc/petsc!5455 List of files: /petsc/src/sys/tests/linter/output/testValidHeaders.patch Tue, 09 Aug 2022 17:04:49 +0000 Satish Balay <balay@mcs.anl.gov> http://opengrok.kc2vjw.com:8080/history/petsc/src/sys/tests/linter/output/testValidHeaders.patch#fcc665c7611e3de3cad3dd5be00443187fc0ad98 Reformat with clang-format src/sys/tests/linter/*.c once and for all so that test-lint will run in the CIAlso run make test-lint REPLACE=1 to update output of testing of lint checking of PetscValid... and friendsNote: this is done seperately and before the massive reformatting of all the PETSc source code and includesCommit-type: housekeeping/spend 15m List of files: /petsc/src/sys/tests/linter/output/testValidHeaders.patch Fri, 29 Jul 2022 19:01:36 +0000 Barry Smith <bsmith@mcs.anl.gov> http://opengrok.kc2vjw.com:8080/history/petsc/src/sys/tests/linter/output/testValidHeaders.patch#edc339be20a773f716545a752957136638e4f2c3 Merge branch 'jacobf/2021-05-13/promote-petscrandom-headers' into 'main'move petscrandom headers to include/petsc/privateSee merge request petsc/petsc!3971 List of files: /petsc/src/sys/tests/linter/output/testValidHeaders.patch Tue, 18 May 2021 04:02:40 +0000 Satish Balay <balay@mcs.anl.gov> http://opengrok.kc2vjw.com:8080/history/petsc/src/sys/tests/linter/output/testValidHeaders.patch#d6cc78556ab04a56a44675a863612015b01f30e2 move petscrandom headers to include/petsc/private List of files: /petsc/src/sys/tests/linter/output/testValidHeaders.patch Thu, 13 May 2021 14:09:49 +0000 Jacob Faibussowitsch <jacob.fai@gmail.com> http://opengrok.kc2vjw.com:8080/history/petsc/src/sys/tests/linter/output/testValidHeaders.patch#005520e9c59a8c4cb3fd538d0023815e8b914247 Merge branch 'jacobf/2021-03-26/clang-static-linter' into 'main'Feature: libClang PETSc Macro Static AnalyzerSee merge request petsc/petsc!3773 List of files: /petsc/src/sys/tests/linter/output/testValidHeaders.patch Thu, 13 May 2021 15:14:49 +0000 Satish Balay <balay@mcs.anl.gov> http://opengrok.kc2vjw.com:8080/history/petsc/src/sys/tests/linter/output/testValidHeaders.patch#064a246e8b5c1f87897a54b4a9ec05181ea08258 Linter using libClang that checks PetscValidHeaderSpecifcType, PetscValidHeaderSpecific, PetscValidHeader, PetscValid[XXX]Pointer, PetscValidType, PetscCheckSameComm, PetscValidLogicalCollectiveXXX for validity. Automatically generates diff files for problems with a known solution. List of files: /petsc/src/sys/tests/linter/output/testValidHeaders.patch Tue, 11 May 2021 01:43:16 +0000 Jacob Faibussowitsch <jacob.fai@gmail.com>