From patchwork Sun Mar 26 12:58:26 2023
Content-Type: text/plain; charset="utf-8"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
X-Patchwork-Submitter: Fernando Oleo Blanco
X-Patchwork-Id: 66910
Return-Path:
X-Original-To: patchwork@sourceware.org
Delivered-To: patchwork@sourceware.org
Received: from server2.sourceware.org (localhost [IPv6:::1])
by sourceware.org (Postfix) with ESMTP id 43E45385840A
for ; Sun, 26 Mar 2023 12:59:07 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 43E45385840A
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org;
s=default; t=1679835547;
bh=9em5anL6ExBgQ8VbKw0wfFYW4NQY7MnpigVWqRlNh/c=;
h=Date:To:Cc:Subject:List-Id:List-Unsubscribe:List-Archive:
List-Post:List-Help:List-Subscribe:From:Reply-To:From;
b=NtSptcMIhKm4zFNeFGsTlSzQi6ffD8Q0k2e7NQmu1HVi+DEEkDjSiwZRBAi777wUP
Dj2ihgWw9sk/o33EvWMJqVtCuoIV+oKPqtUj3HJ9N1ssiy9SxbzBKyITrcpkhqZLxP
hDaLRkVKcnUetN75oN+7/ga/BDWE5K6e+uHRY/PY=
X-Original-To: gcc-patches@gcc.gnu.org
Delivered-To: gcc-patches@gcc.gnu.org
Received: from mail-4323.proton.ch (mail-4323.proton.ch [185.70.43.23])
by sourceware.org (Postfix) with ESMTPS id 34DC83858D32
for ; Sun, 26 Mar 2023 12:58:38 +0000 (GMT)
DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org 34DC83858D32
Date: Sun, 26 Mar 2023 12:58:26 +0000
To: gcc-patches@gcc.gnu.org
Cc: Arnaud Charlet
Subject: [wwwdocs] Add Ada's GCC13 changelog entry
Message-ID:
Feedback-ID: 37218277:user:proton
MIME-Version: 1.0
X-Spam-Status: No, score=-8.4 required=5.0 tests=BAYES_00, DKIM_SIGNED,
DKIM_VALID, DKIM_VALID_AU, DKIM_VALID_EF, GIT_PATCH_0, KAM_INFOUSMEBIZ,
RCVD_IN_MSPIKE_H2, SPF_HELO_PASS, SPF_PASS,
TXREP autolearn=ham autolearn_force=no version=3.4.6
X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on
server2.sourceware.org
X-BeenThere: gcc-patches@gcc.gnu.org
X-Mailman-Version: 2.1.29
Precedence: list
List-Id: Gcc-patches mailing list
List-Unsubscribe: ,
List-Archive:
List-Post:
List-Help:
List-Subscribe: ,
X-Patchwork-Original-From: Fernando Oleo Blanco via Gcc-patches
From: Fernando Oleo Blanco
Reply-To: Fernando Oleo Blanco
Errors-To: gcc-patches-bounces+patchwork=sourceware.org@gcc.gnu.org
Sender: "Gcc-patches"
Hi all,
a bit belated but just like last year, I've made a patch for the Ada
entry in the changelog. You can find the patch attached to this email.
If I have forgotten anything relevant or if I have done something
incorrectly, please, say so.
Best regards,
Fernando Oleo Blanco
From d273bb1835c1ef23e15d422bed22ca5d333cbdae Mon Sep 17 00:00:00 2001
From: Fernando Oleo Blanco
Date: Sun, 26 Mar 2023 14:20:36 +0200
Subject: [PATCH 1/1] [PATCH] Add Ada's entry in the v13 changelog
Signed-off-by: Fernando Oleo Blanco
---
htdocs/gcc-13/changes.html | 11 ++++++++++-
1 file changed, 10 insertions(+), 1 deletion(-)
diff --git a/htdocs/gcc-13/changes.html b/htdocs/gcc-13/changes.html
index ff70d2ee..2e25bcf5 100644
--- a/htdocs/gcc-13/changes.html
+++ b/htdocs/gcc-13/changes.html
@@ -160,7 +160,16 @@ a work-in-progress.
New Languages and Language specific improvements
-
+Ada
+
+ - Traceback support added in RTEMS for the PPC ELF and ARM architectures.
+ - Support for versions older than VxWorks 7 has been removed.
+ - General improvements to the contracts in the standard libraries.
+ - Addition of
GNAT.Binary_Search
.
+ - Further additions and fixes for the Ada 2022 specification.
+ - The Pragma
SPARK_Mode=>Auto
is now accepted. Contract analysis has been further improved.
+ - Documentation improvements.
+
C family