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