From b111d98dc86c4ce4e701c670ed489c8203e332dc Mon Sep 17 00:00:00 2001 From: Pietro Albini Date: Mon, 2 Oct 2023 15:06:20 +0200 Subject: [PATCH 1/2] synchronize with the monorepo --- CONTRIBUTING.rst | 2 +- README.rst | 13 +++++-------- bors.toml | 2 +- exts/ferrocene_spec/README.rst | 2 +- exts/ferrocene_spec/__init__.py | 2 +- exts/ferrocene_spec/definitions/__init__.py | 2 +- exts/ferrocene_spec/definitions/code_terms.py | 2 +- exts/ferrocene_spec/definitions/paragraphs.py | 2 +- exts/ferrocene_spec/definitions/syntax.py | 2 +- exts/ferrocene_spec/definitions/terms.py | 2 +- exts/ferrocene_spec/informational.py | 2 +- exts/ferrocene_spec/items_with_rubric.py | 2 +- exts/ferrocene_spec/paragraph_ids.py | 2 +- exts/ferrocene_spec/std_role.py | 2 +- exts/ferrocene_spec/syntax_directive.py | 2 +- exts/ferrocene_spec/utils.py | 2 +- exts/ferrocene_spec_lints/__init__.py | 2 +- .../alphabetical_section_titles.py | 2 +- exts/ferrocene_spec_lints/require_paragraph_ids.py | 2 +- generate-random-ids.py | 2 +- make.py | 2 +- src/associated-items.rst | 2 +- src/attributes.rst | 2 +- src/concurrency.rst | 2 +- src/conf.py | 11 +++++------ src/entities-and-resolution.rst | 2 +- src/exceptions-and-errors.rst | 2 +- src/expressions.rst | 2 +- src/ffi.rst | 2 +- src/functions.rst | 2 +- src/general.rst | 2 +- src/generics.rst | 2 +- src/glossary.rst | 2 +- src/implementations.rst | 2 +- src/index.rst | 2 +- src/inline-assembly.rst | 2 +- src/items.rst | 2 +- src/lexical-elements.rst | 2 +- src/licenses.rst | 2 +- src/macros.rst | 2 +- src/ownership-and-deconstruction.rst | 2 +- src/patterns.rst | 2 +- src/program-structure-and-compilation.rst | 2 +- src/statements.rst | 2 +- src/types-and-traits.rst | 2 +- src/undefined-behavior.rst | 2 +- src/unsafety.rst | 2 +- src/values.rst | 2 +- 48 files changed, 56 insertions(+), 60 deletions(-) diff --git a/CONTRIBUTING.rst b/CONTRIBUTING.rst index 956f2f2d..9137c29e 100644 --- a/CONTRIBUTING.rst +++ b/CONTRIBUTING.rst @@ -1,5 +1,5 @@ .. SPDX-License-Identifier: MIT OR Apache-2.0 - SPDX-FileCopyrightText: Ferrous Systems and AdaCore + SPDX-FileCopyrightText: The Ferrocene Developers ==================================================== Contributing to the Ferrocene Language Specification diff --git a/README.rst b/README.rst index 51a986a7..5f59f6c3 100644 --- a/README.rst +++ b/README.rst @@ -1,5 +1,5 @@ .. SPDX-License-Identifier: MIT OR Apache-2.0 - SPDX-FileCopyrightText: Ferrous Systems and AdaCore + SPDX-FileCopyrightText: The Ferrocene Developers ================================ Ferrocene Language Specification @@ -11,11 +11,10 @@ Ferrocene Language Specification specification »

The Ferrocene Language Specification (FLS) is a document describing the Rust -language. It was created by a joint effort between `Ferrous Systems`_ and -`AdaCore`_ as one of the prerequisites for qualifying `Ferrocene`_, a Rust -toolchain qualified for safety-critical environments. The FLS is compiled of -existing Rust documentation, but presented with a rigorous structure in order -to meet the requirements of qualification. +language. It was created as one of the prerequisites for qualifying +`Ferrocene`_, a Rust toolchain qualified for safety-critical environments. The +FLS is compiled of existing Rust documentation, but presented with a rigorous +structure in order to meet the requirements of qualification. The FLS is not intended to be used as the normative specification of the Rust language nor is it's meant to replace the decision-making processes of the Rust @@ -27,8 +26,6 @@ or ``Apache-2.0`` licenses, at your option. Individual files might have different licensing. Licensing metadata is present in each file, and the full licenses text is present in the ``LICENSES/`` directory. -.. _Ferrous Systems: https://ferrous-systems.com -.. _AdaCore: https://adacore.com .. _Ferrocene: https://ferrocene.dev Building the specification diff --git a/bors.toml b/bors.toml index e3140a51..94a950e9 100644 --- a/bors.toml +++ b/bors.toml @@ -1,5 +1,5 @@ # SPDX-License-Identifier: MIT OR Apache-2.0 -# SPDX-FileCopyrightText: Ferrous Systems and AdaCore +# SPDX-FileCopyrightText: The Ferrocene Developers # Gate PRs on the GitHub Actions job "CI" status = ["CI"] diff --git a/exts/ferrocene_spec/README.rst b/exts/ferrocene_spec/README.rst index 28c34799..28c81926 100644 --- a/exts/ferrocene_spec/README.rst +++ b/exts/ferrocene_spec/README.rst @@ -1,5 +1,5 @@ .. SPDX-License-Identifier: MIT OR Apache-2.0 - SPDX-FileCopyrightText: Ferrous Systems and AdaCore + SPDX-FileCopyrightText: The Ferrocene Developers ==================== FLS Sphinx Extension diff --git a/exts/ferrocene_spec/__init__.py b/exts/ferrocene_spec/__init__.py index 801658cc..1b4f5977 100644 --- a/exts/ferrocene_spec/__init__.py +++ b/exts/ferrocene_spec/__init__.py @@ -1,5 +1,5 @@ # SPDX-License-Identifier: MIT OR Apache-2.0 -# SPDX-FileCopyrightText: Ferrous Systems and AdaCore +# SPDX-FileCopyrightText: The Ferrocene Developers from . import definitions, informational, syntax_directive, std_role, paragraph_ids from . import items_with_rubric diff --git a/exts/ferrocene_spec/definitions/__init__.py b/exts/ferrocene_spec/definitions/__init__.py index 6420a3c3..3d7d47c8 100644 --- a/exts/ferrocene_spec/definitions/__init__.py +++ b/exts/ferrocene_spec/definitions/__init__.py @@ -1,5 +1,5 @@ # SPDX-License-Identifier: MIT OR Apache-2.0 -# SPDX-FileCopyrightText: Ferrous Systems and AdaCore +# SPDX-FileCopyrightText: The Ferrocene Developers from . import paragraphs, syntax, terms, code_terms from docutils import nodes diff --git a/exts/ferrocene_spec/definitions/code_terms.py b/exts/ferrocene_spec/definitions/code_terms.py index dad222fe..3ca5c14b 100644 --- a/exts/ferrocene_spec/definitions/code_terms.py +++ b/exts/ferrocene_spec/definitions/code_terms.py @@ -1,5 +1,5 @@ # SPDX-License-Identifier: MIT OR Apache-2.0 -# SPDX-FileCopyrightText: Ferrous Systems and AdaCore +# SPDX-FileCopyrightText: The Ferrocene Developers from docutils import nodes diff --git a/exts/ferrocene_spec/definitions/paragraphs.py b/exts/ferrocene_spec/definitions/paragraphs.py index eef672cf..06b07d7f 100644 --- a/exts/ferrocene_spec/definitions/paragraphs.py +++ b/exts/ferrocene_spec/definitions/paragraphs.py @@ -1,5 +1,5 @@ # SPDX-License-Identifier: MIT OR Apache-2.0 -# SPDX-FileCopyrightText: Ferrous Systems and AdaCore +# SPDX-FileCopyrightText: The Ferrocene Developers from .. import utils from collections import defaultdict diff --git a/exts/ferrocene_spec/definitions/syntax.py b/exts/ferrocene_spec/definitions/syntax.py index 135edf92..c0356aba 100644 --- a/exts/ferrocene_spec/definitions/syntax.py +++ b/exts/ferrocene_spec/definitions/syntax.py @@ -1,5 +1,5 @@ # SPDX-License-Identifier: MIT OR Apache-2.0 -# SPDX-FileCopyrightText: Ferrous Systems and AdaCore +# SPDX-FileCopyrightText: The Ferrocene Developers from docutils import nodes diff --git a/exts/ferrocene_spec/definitions/terms.py b/exts/ferrocene_spec/definitions/terms.py index 4f92c2c9..3e00bbc7 100644 --- a/exts/ferrocene_spec/definitions/terms.py +++ b/exts/ferrocene_spec/definitions/terms.py @@ -1,5 +1,5 @@ # SPDX-License-Identifier: MIT OR Apache-2.0 -# SPDX-FileCopyrightText: Ferrous Systems and AdaCore +# SPDX-FileCopyrightText: The Ferrocene Developers from docutils import nodes diff --git a/exts/ferrocene_spec/informational.py b/exts/ferrocene_spec/informational.py index 72c8345c..fe254fe9 100644 --- a/exts/ferrocene_spec/informational.py +++ b/exts/ferrocene_spec/informational.py @@ -1,5 +1,5 @@ # SPDX-License-Identifier: MIT OR Apache-2.0 -# SPDX-FileCopyrightText: Ferrous Systems and AdaCore +# SPDX-FileCopyrightText: The Ferrocene Developers from . import utils from collections import defaultdict diff --git a/exts/ferrocene_spec/items_with_rubric.py b/exts/ferrocene_spec/items_with_rubric.py index 7ceb0ce8..2731af1a 100644 --- a/exts/ferrocene_spec/items_with_rubric.py +++ b/exts/ferrocene_spec/items_with_rubric.py @@ -1,5 +1,5 @@ # SPDX-License-Identifier: MIT OR Apache-2.0 -# SPDX-FileCopyrightText: Ferrous Systems and AdaCore +# SPDX-FileCopyrightText: The Ferrocene Developers from collections import defaultdict from dataclasses import dataclass diff --git a/exts/ferrocene_spec/paragraph_ids.py b/exts/ferrocene_spec/paragraph_ids.py index 8edcdfcf..48551dd0 100644 --- a/exts/ferrocene_spec/paragraph_ids.py +++ b/exts/ferrocene_spec/paragraph_ids.py @@ -1,5 +1,5 @@ # SPDX-License-Identifier: MIT OR Apache-2.0 -# SPDX-FileCopyrightText: Ferrous Systems and AdaCore +# SPDX-FileCopyrightText: The Ferrocene Developers from . import definitions, informational, utils from collections import defaultdict diff --git a/exts/ferrocene_spec/std_role.py b/exts/ferrocene_spec/std_role.py index aabee63e..25b2e1e9 100644 --- a/exts/ferrocene_spec/std_role.py +++ b/exts/ferrocene_spec/std_role.py @@ -1,5 +1,5 @@ # SPDX-License-Identifier: MIT OR Apache-2.0 -# SPDX-FileCopyrightText: Ferrous Systems and AdaCore +# SPDX-FileCopyrightText: The Ferrocene Developers from docutils import nodes from sphinx.roles import SphinxRole diff --git a/exts/ferrocene_spec/syntax_directive.py b/exts/ferrocene_spec/syntax_directive.py index cedd0b7e..eadfa7e9 100644 --- a/exts/ferrocene_spec/syntax_directive.py +++ b/exts/ferrocene_spec/syntax_directive.py @@ -1,5 +1,5 @@ # SPDX-License-Identifier: MIT OR Apache-2.0 -# SPDX-FileCopyrightText: Ferrous Systems and AdaCore +# SPDX-FileCopyrightText: The Ferrocene Developers from .definitions import DefIdNode, DefRefNode from docutils import nodes diff --git a/exts/ferrocene_spec/utils.py b/exts/ferrocene_spec/utils.py index 0463e147..b2634f70 100644 --- a/exts/ferrocene_spec/utils.py +++ b/exts/ferrocene_spec/utils.py @@ -1,5 +1,5 @@ # SPDX-License-Identifier: MIT OR Apache-2.0 -# SPDX-FileCopyrightText: Ferrous Systems and AdaCore +# SPDX-FileCopyrightText: The Ferrocene Developers from docutils import nodes diff --git a/exts/ferrocene_spec_lints/__init__.py b/exts/ferrocene_spec_lints/__init__.py index 317b8252..6f0e10ed 100644 --- a/exts/ferrocene_spec_lints/__init__.py +++ b/exts/ferrocene_spec_lints/__init__.py @@ -1,5 +1,5 @@ # SPDX-License-Identifier: MIT OR Apache-2.0 -# SPDX-FileCopyrightText: Ferrous Systems and AdaCore +# SPDX-FileCopyrightText: The Ferrocene Developers import sphinx import typing diff --git a/exts/ferrocene_spec_lints/alphabetical_section_titles.py b/exts/ferrocene_spec_lints/alphabetical_section_titles.py index 00a91dcd..cba91103 100644 --- a/exts/ferrocene_spec_lints/alphabetical_section_titles.py +++ b/exts/ferrocene_spec_lints/alphabetical_section_titles.py @@ -1,5 +1,5 @@ # SPDX-License-Identifier: MIT OR Apache-2.0 -# SPDX-FileCopyrightText: Ferrous Systems and AdaCore +# SPDX-FileCopyrightText: The Ferrocene Developers import re from docutils import nodes diff --git a/exts/ferrocene_spec_lints/require_paragraph_ids.py b/exts/ferrocene_spec_lints/require_paragraph_ids.py index 19cc2375..a557bc19 100644 --- a/exts/ferrocene_spec_lints/require_paragraph_ids.py +++ b/exts/ferrocene_spec_lints/require_paragraph_ids.py @@ -1,5 +1,5 @@ # SPDX-License-Identifier: MIT OR Apache-2.0 -# SPDX-FileCopyrightText: Ferrous Systems and AdaCore +# SPDX-FileCopyrightText: The Ferrocene Developers from docutils import nodes from ferrocene_spec.definitions import DefIdNode diff --git a/generate-random-ids.py b/generate-random-ids.py index 959f8d49..b3c9c40b 100755 --- a/generate-random-ids.py +++ b/generate-random-ids.py @@ -1,6 +1,6 @@ #!/usr/bin/env python3 # SPDX-License-Identifier: MIT OR Apache-2.0 -# SPDX-FileCopyrightText: Ferrous Systems and AdaCore +# SPDX-FileCopyrightText: The Ferrocene Developers # Convenience script to generate a list of random paragraph IDs, ready to be # copy-pasted as you write new paragraphs. diff --git a/make.py b/make.py index 91952718..54dc8f76 100755 --- a/make.py +++ b/make.py @@ -1,6 +1,6 @@ #!/usr/bin/env python3 # SPDX-License-Identifier: MIT OR Apache-2.0 -# SPDX-FileCopyrightText: Ferrous Systems and AdaCore +# SPDX-FileCopyrightText: The Ferrocene Developers import os import subprocess diff --git a/src/associated-items.rst b/src/associated-items.rst index 0d7978a3..71b20f06 100644 --- a/src/associated-items.rst +++ b/src/associated-items.rst @@ -1,5 +1,5 @@ .. SPDX-License-Identifier: MIT OR Apache-2.0 - SPDX-FileCopyrightText: Ferrous Systems and AdaCore + SPDX-FileCopyrightText: The Ferrocene Developers .. default-domain:: spec diff --git a/src/attributes.rst b/src/attributes.rst index 0db78806..62163634 100644 --- a/src/attributes.rst +++ b/src/attributes.rst @@ -1,5 +1,5 @@ .. SPDX-License-Identifier: MIT OR Apache-2.0 - SPDX-FileCopyrightText: Ferrous Systems and AdaCore + SPDX-FileCopyrightText: The Ferrocene Developers .. default-domain:: spec diff --git a/src/concurrency.rst b/src/concurrency.rst index fd7be1e2..aa6a0f8a 100644 --- a/src/concurrency.rst +++ b/src/concurrency.rst @@ -1,5 +1,5 @@ .. SPDX-License-Identifier: MIT OR Apache-2.0 - SPDX-FileCopyrightText: Ferrous Systems and AdaCore + SPDX-FileCopyrightText: The Ferrocene Developers .. default-domain:: spec diff --git a/src/conf.py b/src/conf.py index 51a0dbe6..23abdd17 100644 --- a/src/conf.py +++ b/src/conf.py @@ -1,20 +1,20 @@ # SPDX-License-Identifier: MIT OR Apache-2.0 -# SPDX-FileCopyrightText: Ferrous Systems and AdaCore +# SPDX-FileCopyrightText: The Ferrocene Developers # -- Path setup -------------------------------------------------------------- import os import sys -sys.path.insert(0, os.path.abspath("../exts")) -sys.path.insert(1, os.path.abspath("../shared/exts")) +sys.path.append(os.path.abspath("../exts")) +sys.path.append(os.path.abspath("../shared/exts")) # -- Project information ----------------------------------------------------- project = "Ferrocene Language Specification" -copyright = "Ferrous Systems and AdaCore" -author = "Ferrous Systems and AdaCore" +copyright = "The Ferrocene Developers" +author = "The Ferrocene Developers" # -- General configuration --------------------------------------------------- @@ -36,7 +36,6 @@ # This pattern also affects html_static_path and html_extra_path. exclude_patterns = [] - # -- Options for HTML output ------------------------------------------------- # The theme to use for HTML and HTML Help pages. See the documentation for diff --git a/src/entities-and-resolution.rst b/src/entities-and-resolution.rst index 76af7e0c..85b03e60 100644 --- a/src/entities-and-resolution.rst +++ b/src/entities-and-resolution.rst @@ -1,5 +1,5 @@ .. SPDX-License-Identifier: MIT OR Apache-2.0 - SPDX-FileCopyrightText: Critical Section GmbH + SPDX-FileCopyrightText: The Ferrocene Developers .. default-domain:: spec diff --git a/src/exceptions-and-errors.rst b/src/exceptions-and-errors.rst index 74350792..d9b354fc 100644 --- a/src/exceptions-and-errors.rst +++ b/src/exceptions-and-errors.rst @@ -1,5 +1,5 @@ .. SPDX-License-Identifier: MIT OR Apache-2.0 - SPDX-FileCopyrightText: Ferrous Systems and AdaCore + SPDX-FileCopyrightText: The Ferrocene Developers .. default-domain:: spec diff --git a/src/expressions.rst b/src/expressions.rst index 9464d08f..5d2a498c 100644 --- a/src/expressions.rst +++ b/src/expressions.rst @@ -1,5 +1,5 @@ .. SPDX-License-Identifier: MIT OR Apache-2.0 - SPDX-FileCopyrightText: Ferrous Systems and AdaCore + SPDX-FileCopyrightText: The Ferrocene Developers .. default-domain:: spec diff --git a/src/ffi.rst b/src/ffi.rst index 8897ecdf..94dfc78b 100644 --- a/src/ffi.rst +++ b/src/ffi.rst @@ -1,5 +1,5 @@ .. SPDX-License-Identifier: MIT OR Apache-2.0 - SPDX-FileCopyrightText: Ferrous Systems and AdaCore + SPDX-FileCopyrightText: The Ferrocene Developers .. default-domain:: spec diff --git a/src/functions.rst b/src/functions.rst index ad4cd1f1..9b42c716 100644 --- a/src/functions.rst +++ b/src/functions.rst @@ -1,5 +1,5 @@ .. SPDX-License-Identifier: MIT OR Apache-2.0 - SPDX-FileCopyrightText: Ferrous Systems and AdaCore + SPDX-FileCopyrightText: The Ferrocene Developers .. default-domain:: spec diff --git a/src/general.rst b/src/general.rst index 954484ff..0cccaa9a 100644 --- a/src/general.rst +++ b/src/general.rst @@ -1,5 +1,5 @@ .. SPDX-License-Identifier: MIT OR Apache-2.0 - SPDX-FileCopyrightText: Ferrous Systems and AdaCore + SPDX-FileCopyrightText: The Ferrocene Developers .. default-domain:: spec diff --git a/src/generics.rst b/src/generics.rst index f1c7a9ea..9224ee93 100644 --- a/src/generics.rst +++ b/src/generics.rst @@ -1,5 +1,5 @@ .. SPDX-License-Identifier: MIT OR Apache-2.0 - SPDX-FileCopyrightText: Ferrous Systems and AdaCore + SPDX-FileCopyrightText: The Ferrocene Developers .. default-domain:: spec diff --git a/src/glossary.rst b/src/glossary.rst index 3ff1ae06..0051c2d5 100644 --- a/src/glossary.rst +++ b/src/glossary.rst @@ -1,5 +1,5 @@ .. SPDX-License-Identifier: MIT OR Apache-2.0 - SPDX-FileCopyrightText: Ferrous Systems and AdaCore + SPDX-FileCopyrightText: The Ferrocene Developers .. default-domain:: spec diff --git a/src/implementations.rst b/src/implementations.rst index ac4ee5c0..a0dbc818 100644 --- a/src/implementations.rst +++ b/src/implementations.rst @@ -1,5 +1,5 @@ .. SPDX-License-Identifier: MIT OR Apache-2.0 - SPDX-FileCopyrightText: Ferrous Systems and AdaCore + SPDX-FileCopyrightText: The Ferrocene Developers .. default-domain:: spec diff --git a/src/index.rst b/src/index.rst index 26c08601..51edad6a 100644 --- a/src/index.rst +++ b/src/index.rst @@ -1,5 +1,5 @@ .. SPDX-License-Identifier: MIT OR Apache-2.0 - SPDX-FileCopyrightText: Ferrous Systems and AdaCore + SPDX-FileCopyrightText: The Ferrocene Developers Ferrocene Language Specification ================================ diff --git a/src/inline-assembly.rst b/src/inline-assembly.rst index c7df94c4..9754da23 100644 --- a/src/inline-assembly.rst +++ b/src/inline-assembly.rst @@ -1,5 +1,5 @@ .. SPDX-License-Identifier: MIT OR Apache-2.0 - SPDX-FileCopyrightText: Critical Section GmbH + SPDX-FileCopyrightText: The Ferrocene Developers .. default-domain:: spec diff --git a/src/items.rst b/src/items.rst index 2026fddb..b037c22b 100644 --- a/src/items.rst +++ b/src/items.rst @@ -1,5 +1,5 @@ .. SPDX-License-Identifier: MIT OR Apache-2.0 - SPDX-FileCopyrightText: Ferrous Systems and AdaCore + SPDX-FileCopyrightText: The Ferrocene Developers .. default-domain:: spec diff --git a/src/lexical-elements.rst b/src/lexical-elements.rst index 9210846d..646c4d6e 100644 --- a/src/lexical-elements.rst +++ b/src/lexical-elements.rst @@ -1,5 +1,5 @@ .. SPDX-License-Identifier: MIT OR Apache-2.0 - SPDX-FileCopyrightText: Ferrous Systems and AdaCore + SPDX-FileCopyrightText: The Ferrocene Developers .. default-domain:: spec diff --git a/src/licenses.rst b/src/licenses.rst index 083f77ef..9da250ef 100644 --- a/src/licenses.rst +++ b/src/licenses.rst @@ -1,5 +1,5 @@ .. SPDX-License-Identifier: MIT OR Apache-2.0 - SPDX-FileCopyrightText: Ferrous Systems and AdaCore + SPDX-FileCopyrightText: The Ferrocene Developers .. default-domain:: spec diff --git a/src/macros.rst b/src/macros.rst index 802e4d2e..75f01596 100644 --- a/src/macros.rst +++ b/src/macros.rst @@ -1,5 +1,5 @@ .. SPDX-License-Identifier: MIT OR Apache-2.0 - SPDX-FileCopyrightText: Ferrous Systems and AdaCore + SPDX-FileCopyrightText: The Ferrocene Developers .. default-domain:: spec diff --git a/src/ownership-and-deconstruction.rst b/src/ownership-and-deconstruction.rst index c22f547e..9465b125 100644 --- a/src/ownership-and-deconstruction.rst +++ b/src/ownership-and-deconstruction.rst @@ -1,5 +1,5 @@ .. SPDX-License-Identifier: MIT OR Apache-2.0 - SPDX-FileCopyrightText: Ferrous Systems and AdaCore + SPDX-FileCopyrightText: The Ferrocene Developers .. default-domain:: spec diff --git a/src/patterns.rst b/src/patterns.rst index d8f3f9a3..9b034a45 100644 --- a/src/patterns.rst +++ b/src/patterns.rst @@ -1,5 +1,5 @@ .. SPDX-License-Identifier: MIT OR Apache-2.0 - SPDX-FileCopyrightText: Ferrous Systems and AdaCore + SPDX-FileCopyrightText: The Ferrocene Developers .. default-domain:: spec diff --git a/src/program-structure-and-compilation.rst b/src/program-structure-and-compilation.rst index 5f44ffb2..916a8fac 100644 --- a/src/program-structure-and-compilation.rst +++ b/src/program-structure-and-compilation.rst @@ -1,5 +1,5 @@ .. SPDX-License-Identifier: MIT OR Apache-2.0 - SPDX-FileCopyrightText: Ferrous Systems and AdaCore + SPDX-FileCopyrightText: The Ferrocene Developers .. default-domain:: spec diff --git a/src/statements.rst b/src/statements.rst index b7213d50..1e84ceba 100644 --- a/src/statements.rst +++ b/src/statements.rst @@ -1,5 +1,5 @@ .. SPDX-License-Identifier: MIT OR Apache-2.0 - SPDX-FileCopyrightText: Ferrous Systems and AdaCore + SPDX-FileCopyrightText: The Ferrocene Developers .. default-domain:: spec diff --git a/src/types-and-traits.rst b/src/types-and-traits.rst index 0e4b2b55..600d2e91 100644 --- a/src/types-and-traits.rst +++ b/src/types-and-traits.rst @@ -1,5 +1,5 @@ .. SPDX-License-Identifier: MIT OR Apache-2.0 - SPDX-FileCopyrightText: Ferrous Systems and AdaCore + SPDX-FileCopyrightText: The Ferrocene Developers .. default-domain:: spec diff --git a/src/undefined-behavior.rst b/src/undefined-behavior.rst index 533b8033..5ecc9956 100644 --- a/src/undefined-behavior.rst +++ b/src/undefined-behavior.rst @@ -1,5 +1,5 @@ .. SPDX-License-Identifier: MIT OR Apache-2.0 - SPDX-FileCopyrightText: Critical Section GmbH + SPDX-FileCopyrightText: The Ferrocene Developers .. default-domain:: spec .. informational-page:: diff --git a/src/unsafety.rst b/src/unsafety.rst index ef71efb2..1ede11bd 100644 --- a/src/unsafety.rst +++ b/src/unsafety.rst @@ -1,5 +1,5 @@ .. SPDX-License-Identifier: MIT OR Apache-2.0 - SPDX-FileCopyrightText: Ferrous Systems and AdaCore + SPDX-FileCopyrightText: The Ferrocene Developers .. default-domain:: spec diff --git a/src/values.rst b/src/values.rst index 70d9ca67..f3849f8c 100644 --- a/src/values.rst +++ b/src/values.rst @@ -1,5 +1,5 @@ .. SPDX-License-Identifier: MIT OR Apache-2.0 - SPDX-FileCopyrightText: Ferrous Systems and AdaCore + SPDX-FileCopyrightText: The Ferrocene Developers .. default-domain:: spec From 32b65d66399203bc8ef51ea6332479154579e740 Mon Sep 17 00:00:00 2001 From: Pietro Albini Date: Mon, 2 Oct 2023 16:28:35 +0200 Subject: [PATCH 2/2] bump shared resources --- shared | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/shared b/shared index ccc289ed..3facd64e 160000 --- a/shared +++ b/shared @@ -1 +1 @@ -Subproject commit ccc289edec6fe45b2987e4f3983d787396f2fe81 +Subproject commit 3facd64ecea9c3a233ecf88b9f97afcb68a5f5dd