Skip to content
Snippets Groups Projects
Commit 1db3ba3d authored by Thibault Martin's avatar Thibault Martin
Browse files

Update Changelog

parent e16289a5
No related branches found
No related tags found
No related merge requests found
......@@ -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
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment