From 1db3ba3d22f6383a6c387876723c6447a5f4b81a Mon Sep 17 00:00:00 2001
From: Thibault Martin <thi.martin.pro@pm.me>
Date: Tue, 4 Feb 2025 16:03:17 +0100
Subject: [PATCH] Update Changelog
---
Changelog | 5 +++++
1 file changed, 5 insertions(+)
diff --git a/Changelog b/Changelog
index 20f4f6bdef..c5a217c805 100644
--- a/Changelog
+++ b/Changelog
@@ -18,6 +18,11 @@
Open Source Release <next-release>
###############################################################################
+o! Kernel [2025-02-05] New module Ast_attributes for attribute related
+ functions. Moved most of Cil functions into this module, Cil
+ functions are now deprecated.
+o! Kernel [2025-02-05] Remove attributes annotations (Cil.AttrAnnot). Use
+ normal attributes instead.
o! Kernel [2025-01-31] Use a record to represent `Cil_types.typ` with two
fields `tnode` and `tattr` for its `typ_node` and `attributes`.
- Ivette [2025-01-23] New sidebar listing functions and global variables
--
GitLab