gcc-wwwdocs branch master updated. 80602974943a9bba6d3fda66be3adbe488b12708

gcc-wwwdocs branch master updated. 80602974943a9bba6d3fda66be3adbe488b12708

[Marc Poulhi?s]

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 1866 bytes --]

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 <poulhies@adacore.com>
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 <poulhies@adacore.com>

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.</p>
   <li>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.</li>
-  <li>Initial support for the
-  <a href="https://www.cl.cam.ac.uk/research/security/ctsrd/cheri/"><code>CHERI</code></a>
-  architecture.</li>
   <li>Support for the <code>LoongArch</code> architecture.</li>
   <li>Support for vxWorks 7 Cert RTP has been removed.</li>
   <li>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