From a78fc0cce1e6a38d092de57439d1c5aff2b8209b Mon Sep 17 00:00:00 2001 From: Tshepang Mbambo Date: Mon, 9 Oct 2023 21:51:09 +0200 Subject: [PATCH 1/2] be more simple in describing verified language Also, avoid using the word "standard", as that may mean ISO standard, which Rust does not have. --- ferrocene/doc/qualification-report/src/tests.rst | 4 ++-- ferrocene/doc/safety-manual/src/environment.rst | 8 +++++--- 2 files changed, 7 insertions(+), 5 deletions(-) diff --git a/ferrocene/doc/qualification-report/src/tests.rst b/ferrocene/doc/qualification-report/src/tests.rst index 06353dfd2ed6..92f75262259e 100644 --- a/ferrocene/doc/qualification-report/src/tests.rst +++ b/ferrocene/doc/qualification-report/src/tests.rst @@ -27,8 +27,8 @@ For this qualification, testing is restricted to the following environment: .. note:: - For the Rust language, only the Rust standard as described in the - Ferrocene :doc:`Language Specification document ` + Only the Rust language, + as described in the Ferrocene :doc:`Language Specification document `, is verified. Bare metal testing diff --git a/ferrocene/doc/safety-manual/src/environment.rst b/ferrocene/doc/safety-manual/src/environment.rst index 3af8e222d142..93b791d82606 100644 --- a/ferrocene/doc/safety-manual/src/environment.rst +++ b/ferrocene/doc/safety-manual/src/environment.rst @@ -27,9 +27,11 @@ end-use code is outside the scope of the current Ferrocene qualification. It is the end-user responsibility to qualify these libraries if they are used in their code. -.. Note:: - For the Rust language, only the Rust standard as described in the - Ferrocene :doc:`Language Specification document `. +.. note:: + + Only the Rust language, + as described in the Ferrocene :doc:`Language Specification document `, + is verified. The qualification scope is limited to the set of supported compilation options described in the :doc:`Tool Options `. From 2370010b62b99eefecfd90f58e4250a29eff26ab Mon Sep 17 00:00:00 2001 From: Tshepang Mbambo Date: Mon, 9 Oct 2023 21:55:08 +0200 Subject: [PATCH 2/2] target document already has the correct title --- ferrocene/doc/qualification-report/src/tests.rst | 2 +- ferrocene/doc/safety-manual/src/environment.rst | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/ferrocene/doc/qualification-report/src/tests.rst b/ferrocene/doc/qualification-report/src/tests.rst index 92f75262259e..bcb4d53ea8f2 100644 --- a/ferrocene/doc/qualification-report/src/tests.rst +++ b/ferrocene/doc/qualification-report/src/tests.rst @@ -28,7 +28,7 @@ For this qualification, testing is restricted to the following environment: .. note:: Only the Rust language, - as described in the Ferrocene :doc:`Language Specification document `, + as described in the :doc:`specification:index`, is verified. Bare metal testing diff --git a/ferrocene/doc/safety-manual/src/environment.rst b/ferrocene/doc/safety-manual/src/environment.rst index 93b791d82606..5237be175afb 100644 --- a/ferrocene/doc/safety-manual/src/environment.rst +++ b/ferrocene/doc/safety-manual/src/environment.rst @@ -30,7 +30,7 @@ their code. .. note:: Only the Rust language, - as described in the Ferrocene :doc:`Language Specification document `, + as described in the :doc:`specification:index`, is verified. The qualification scope is limited to the set of supported compilation options