diff --git a/Changelog b/Changelog index 20f4f6bdef5a3eb46e105237bc74831958f8148e..c5a217c805db94c825e66de83ba1ae18017b4b5a 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