Skip to content
Snippets Groups Projects
Commit 3a9e4835 authored by Virgile Prevosto's avatar Virgile Prevosto
Browse files

Update Changelog following merge of !4679

parent e9688d7c
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 1 addition and 0 deletions
Changelog
+ 1
− 0
View file @ 3a9e4835
...@@ -18,6 +18,7 @@ ...@@ -18,6 +18,7 @@
Open Source Release <next-release> Open Source Release <next-release>
############################################################################### ###############################################################################
o Kernel [2024-07-30] mapNoCopy moved to Extlib and deprecated in Cil
- Kernel [2024-05-20] New ACSL extension loop unfold (replaces loop pragma UNROLL) - Kernel [2024-05-20] New ACSL extension loop unfold (replaces loop pragma UNROLL)
-! Kernel [2024-05-20] Removed loop pragma UNROLL annotations -! Kernel [2024-05-20] Removed loop pragma UNROLL annotations
o! Kernel [2024-05-20] Renamed module Unroll_loop into Unfold_loop o! Kernel [2024-05-20] Renamed module Unroll_loop into Unfold_loop
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment