From mboxrd@z Thu Jan 1 00:00:00 1970
Return-Path:
Received: from mail-wm1-x32f.google.com (mail-wm1-x32f.google.com [IPv6:2a00:1450:4864:20::32f])
by sourceware.org (Postfix) with ESMTPS id 32DB23858417
for ; Mon, 27 Mar 2023 08:39:20 +0000 (GMT)
DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org 32DB23858417
Authentication-Results: sourceware.org; dmarc=pass (p=none dis=none) header.from=adacore.com
Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=adacore.com
Received: by mail-wm1-x32f.google.com with SMTP id n10-20020a05600c4f8a00b003ee93d2c914so6427772wmq.2
for ; Mon, 27 Mar 2023 01:39:20 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
d=adacore.com; s=google; t=1679906359;
h=in-reply-to:content-disposition:mime-version:references:message-id
:subject:cc:to:from:date:from:to:cc:subject:date:message-id:reply-to;
bh=95r2C7jxsMu5rx3twgGvH5tLwfK3DmBF0d4qYXqUPm8=;
b=RCFlvrD0EwjyimzQnjyGBAiEAc2MAYdEQ/Zyqrq/aHf0cch/ZxULPnaFdwRN80WLIJ
g56v5vd+BEcAV4wVjMzOlnS+ZRv8pYySc/MkFbzNdpaINIPkbgKFbsx/p7nbD4XsxwID
eaLs0eaGtKVkLYHR4nPBtHrujLeTidjOcLwGVV9oFjX7F1S4to8eu0DBrOKPSmxs7wKt
mU4vug90hC9RrvkEMKtFqiojSRQJy4PQPi7WrjOdc89COzA+2NJDib2qKzgWxTY9sFOl
DhCA080HR0+FZXUW23fHBqIouJgGrd53JYIBRKc7Kwsmbw9pLNMgwY52ZeCdaLHGytqb
w3Xw==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
d=1e100.net; s=20210112; t=1679906359;
h=in-reply-to:content-disposition:mime-version:references:message-id
:subject:cc:to:from:date:x-gm-message-state:from:to:cc:subject:date
:message-id:reply-to;
bh=95r2C7jxsMu5rx3twgGvH5tLwfK3DmBF0d4qYXqUPm8=;
b=ziYyoJbG/S+upiztH68tO3K9jBKJ8CElAeJAFB/+T4uwOyfHEkaPIqzqX+zGJPKHT1
aDM/ZwqDddNdbXrQxiXy7zWV+beF1au00ov7ZnpxdJJ/V2kobAOT8JOeKIizH6HFEWCG
15DQjP6oowFHZEuaqXAdyRzeXrrpRCDNVhQHB/kg2d2qAtOq/Bt3wQN9bXjVV+WidhJy
Vs4EaIfgNE1CNc+LjNdnifrv0oWZb8muLLGwRvrXqm+VV7bomdtxRFjnrQY/T9HRML8I
C245FnCURfuuxgclKi7cM3Gh3/ywbHNMLUahaDPVoJbQE5yrmwy0MbPteYZu6YXCGJ4A
AnEw==
X-Gm-Message-State: AO0yUKXzcKCMfr45kcaJs/S1xfjFH5002HTdDcTrMHBLeF1teTNPQHUo
7gpm1K91/wRJhk1hSHzZp5F2lQ==
X-Google-Smtp-Source: AK7set/HEuj6bvW6ei2vaVlDCzTsd2weBUw/wXCW9sVrH4V40YaigIk50YyMSrMypr3BVQJO9FSjPg==
X-Received: by 2002:a05:600c:28c:b0:3ef:561d:255d with SMTP id 12-20020a05600c028c00b003ef561d255dmr7876116wmk.41.1679906358806;
Mon, 27 Mar 2023 01:39:18 -0700 (PDT)
Received: from localhost ([45.147.211.82])
by smtp.gmail.com with ESMTPSA id q7-20020a05600c46c700b003ede2c59a54sm1549226wmo.37.2023.03.27.01.39.18
(version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256);
Mon, 27 Mar 2023 01:39:18 -0700 (PDT)
Date: Mon, 27 Mar 2023 08:39:18 +0000
From: Arnaud Charlet
To: Fernando Oleo Blanco
Cc: gcc-patches@gcc.gnu.org, Arnaud Charlet
Subject: Re: [wwwdocs] Add Ada's GCC13 changelog entry
Message-ID: <20230327083918.GA33628@adacore.com>
References:
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Disposition: inline
In-Reply-To:
X-Spam-Status: No, score=-10.5 required=5.0 tests=BAYES_00,DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,GIT_PATCH_0,RCVD_IN_DNSWL_NONE,SPF_HELO_NONE,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
List-Id:
OK, thanks.
> 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
>