Merge branch 'feature/basile/eacsl-lint' into 'master'
[eacsl] Check C linting with clang-format and check for TAB in Changelog See merge request frama-c/frama-c!3373
No related branches found
No related tags found
Showing
- .git-blame-ignore-revs 2 additions, 0 deletions.git-blame-ignore-revs
- Makefile 1 addition, 1 deletionMakefile
- nix/default.nix 1 addition, 1 deletionnix/default.nix
- src/plugins/e-acsl/.clang-format 10 additions, 0 deletionssrc/plugins/e-acsl/.clang-format
- src/plugins/e-acsl/Makefile.in 41 additions, 5 deletionssrc/plugins/e-acsl/Makefile.in
- src/plugins/e-acsl/headers/header_spec.txt 1 addition, 0 deletionssrc/plugins/e-acsl/headers/header_spec.txt
- src/plugins/e-acsl/share/e-acsl/e_acsl.h 2 additions, 2 deletionssrc/plugins/e-acsl/share/e-acsl/e_acsl.h
- src/plugins/e-acsl/share/e-acsl/e_acsl_rtl.c 2 additions, 2 deletionssrc/plugins/e-acsl/share/e-acsl/e_acsl_rtl.c
- src/plugins/e-acsl/share/e-acsl/instrumentation_model/e_acsl_assert.c 10 additions, 9 deletions...e-acsl/share/e-acsl/instrumentation_model/e_acsl_assert.c
- src/plugins/e-acsl/share/e-acsl/instrumentation_model/e_acsl_assert.h 4 additions, 3 deletions...e-acsl/share/e-acsl/instrumentation_model/e_acsl_assert.h
- src/plugins/e-acsl/share/e-acsl/instrumentation_model/e_acsl_contract.c 76 additions, 76 deletions...acsl/share/e-acsl/instrumentation_model/e_acsl_contract.c
- src/plugins/e-acsl/share/e-acsl/instrumentation_model/e_acsl_contract.h 23 additions, 19 deletions...acsl/share/e-acsl/instrumentation_model/e_acsl_contract.h
- src/plugins/e-acsl/share/e-acsl/instrumentation_model/e_acsl_temporal.c 20 additions, 20 deletions...acsl/share/e-acsl/instrumentation_model/e_acsl_temporal.c
- src/plugins/e-acsl/share/e-acsl/instrumentation_model/e_acsl_temporal.h 15 additions, 17 deletions...acsl/share/e-acsl/instrumentation_model/e_acsl_temporal.h
- src/plugins/e-acsl/share/e-acsl/instrumentation_model/e_acsl_temporal_timestamp.h 10 additions, 14 deletions.../e-acsl/instrumentation_model/e_acsl_temporal_timestamp.h
- src/plugins/e-acsl/share/e-acsl/internals/e_acsl_alias.h 5 additions, 5 deletionssrc/plugins/e-acsl/share/e-acsl/internals/e_acsl_alias.h
- src/plugins/e-acsl/share/e-acsl/internals/e_acsl_bits.h 30 additions, 30 deletionssrc/plugins/e-acsl/share/e-acsl/internals/e_acsl_bits.h
- src/plugins/e-acsl/share/e-acsl/internals/e_acsl_config.h 6 additions, 6 deletionssrc/plugins/e-acsl/share/e-acsl/internals/e_acsl_config.h
- src/plugins/e-acsl/share/e-acsl/internals/e_acsl_debug.c 22 additions, 19 deletionssrc/plugins/e-acsl/share/e-acsl/internals/e_acsl_debug.c
- src/plugins/e-acsl/share/e-acsl/internals/e_acsl_debug.h 29 additions, 24 deletionssrc/plugins/e-acsl/share/e-acsl/internals/e_acsl_debug.h
Loading
Please register or sign in to comment