From 78dfe1c4e1d78941b0577aadd6c2fb7c043f44fe Mon Sep 17 00:00:00 2001
From: Thibault Martin <thi.martin.pro@pm.me>
Date: Tue, 14 May 2024 13:39:41 +0200
Subject: [PATCH] [release] Release changelog for 29.0

---
 releases/29.0.md | 29 +++++++++++++++++++++++++++++
 1 file changed, 29 insertions(+)
 create mode 100644 releases/29.0.md

diff --git a/releases/29.0.md b/releases/29.0.md
new file mode 100644
index 00000000000..cf8d2caa14a
--- /dev/null
+++ b/releases/29.0.md
@@ -0,0 +1,29 @@
+# Kernel
+- Introduce \plugin:: prefix for ACSL extensions
+- Refactor current location handling mechanism
+- Removal of Db (Db.Main.extend is deprecated). Features related to asynchronous
+  interactions are now handled in module Async
+- Merged AST nodes TCastE and TLogic_coerce
+- Various fixes and improvements
+
+# Alias
+- Better analysis results in the presence of structures
+- Rework the API and improved the documentation
+
+# Eva
+- Better reporting for garbled mix
+- Improved handling of \valid and \valid_read
+
+# E-ACSL
+- Fix TLS segment start address and size
+- Remove option -e-acsl-version
+
+# WP
+- Introduce goal visualization and tactics in Ivette
+- Introduce counter examples via the new option -wp-counter-examples. Also
+  introduce an ACSL extension to create probes on terms for counter examples.
+
+# Ivette
+- Better feedback on Eva values evaluation
+- Improved responsiveness when handling large code
+- Several quality-of-life fixes and improvements
-- 
GitLab