| Message ID | cover.1700211131.git.nicola.vetrini@bugseng.com (mailing list archive) |
|---|---|
| Headers | show |
| Series | use the documentation for MISRA C:2012 Dir 4.1 | expand |
On 2023-11-17 09:53, Nicola Vetrini wrote: > This series addresses some concerns raised on patches 2 and 3 from [1]. > Note that patch 1 from that series has already been applied. > > Patch 1 comprises a modified version of patches 2 and 3 of the previous > series. > Patch 2 is brand new, as it merely clarifies how to write such > documentation. > > [1] > https://lore.kernel.org/xen-devel/cover.1696231870.git.nicola.vetrini@bugseng.com/ > > Nicola Vetrini (2): > automation/eclair: make the docs for MISRA C:2012 Dir 4.1 visible to > ECLAIR > docs/misra: add guidance on the format of Dir 4.1 docs for ECLAIR > > automation/eclair_analysis/build.sh | 31 +++++++++++++++++++++++---- > automation/eclair_analysis/prepare.sh | 7 +++--- > docs/misra/C-runtime-failures.rst | 8 +++++++ > 3 files changed, 39 insertions(+), 7 deletions(-) I think all outstanding comments on this series have been addressed, so I think it could be committed.
This series addresses some concerns raised on patches 2 and 3 from [1]. Note that patch 1 from that series has already been applied. Patch 1 comprises a modified version of patches 2 and 3 of the previous series. Patch 2 is brand new, as it merely clarifies how to write such documentation. [1] https://lore.kernel.org/xen-devel/cover.1696231870.git.nicola.vetrini@bugseng.com/ Nicola Vetrini (2): automation/eclair: make the docs for MISRA C:2012 Dir 4.1 visible to ECLAIR docs/misra: add guidance on the format of Dir 4.1 docs for ECLAIR automation/eclair_analysis/build.sh | 31 +++++++++++++++++++++++---- automation/eclair_analysis/prepare.sh | 7 +++--- docs/misra/C-runtime-failures.rst | 8 +++++++ 3 files changed, 39 insertions(+), 7 deletions(-)