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 <poulh...@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 <poulh...@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
