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