From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 7871) id 54A563858402; Fri, 26 Apr 2024 09:21:06 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 54A563858402 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=sourceware.org; s=default; t=1714123266; bh=wAneWz/8rVfPLmVBsVDLroFZhvPXFbtiAOiwclB4/5k=; h=To:Subject:Date:From:From; b=YI4jAp6DSpVNBcI206PnjvObkKgJurH3BrVf4/4qLU4XuR8Pq/dBN7bIxFIWBBu3q 7Xhj1R7yVuEqBTh4UVvye9RdP2v1V/PPRlI7Z4Ccfavh1K6gjfrEev7MoW4HmKJk8Q cqI5Hm1dlWkZA3yiP924RB4wx6Z7oUVKFcf6HmQk= To: gcc-cvs-wwwdocs@gcc.gnu.org Subject: gcc-wwwdocs branch master updated. 80602974943a9bba6d3fda66be3adbe488b12708 X-Git-Refname: refs/heads/master X-Git-Reftype: branch X-Git-Oldrev: 9d0937bd03d26ce473e0f745797fbee2b20f5062 X-Git-Newrev: 80602974943a9bba6d3fda66be3adbe488b12708 Message-Id: <20240426092106.54A563858402@sourceware.org> Date: Fri, 26 Apr 2024 09:21:06 +0000 (GMT) From: Marc Poulhi?s List-Id: This is an automated email from the git hooks/post-receive script. It was generated because a ref change was pushed to the repository containing the project "gcc-wwwdocs". The branch, master has been updated via 80602974943a9bba6d3fda66be3adbe488b12708 (commit) from 9d0937bd03d26ce473e0f745797fbee2b20f5062 (commit) Those revisions listed above that are new to this repository have not appeared on any other notification email; so we list those revisions in full, below. - Log ----------------------------------------------------------------- commit 80602974943a9bba6d3fda66be3adbe488b12708 Author: Marc Poulhiès Date: Fri Apr 26 11:18:56 2024 +0200 gcc-14: adjust Ada changes Remove mention to CHERI. It's part of the frontend, but only useful when used with a specific (unreleased) branch of gcc. Signed-off-by: Marc Poulhiès diff --git a/htdocs/gcc-14/changes.html b/htdocs/gcc-14/changes.html index 87e04cb8..fce0fb44 100644 --- a/htdocs/gcc-14/changes.html +++ b/htdocs/gcc-14/changes.html @@ -278,9 +278,6 @@ a work-in-progress.

  • The new attributes and contracts have been applied to the relevant parts of the Ada runtime library, which has been subsequently proven to be correct with SPARK 2014.
    • -
  • Initial support for the - CHERI - architecture.
  • Support for the LoongArch architecture.
  • Support for vxWorks 7 Cert RTP has been removed.
  • Additional hardening improvements. For more information reltated to ----------------------------------------------------------------------- Summary of changes: htdocs/gcc-14/changes.html | 3 --- 1 file changed, 3 deletions(-) hooks/post-receive -- gcc-wwwdocs