diff --git a/Changelog b/Changelog index 261ad3870b9b234452a855e6daf00c8cc143eef1..34b4bcedbe94f35ff4d91514aa6bd0ebdd6350bb 100644 --- a/Changelog +++ b/Changelog @@ -18,6 +18,8 @@ Open Source Release <next-release> ############################################################################### +o! Kernel [2024-03-07] More coherent naming of functions determining if a + symbol is a Frama-C built-in. -* Kernel [2024-03-04] Accept conditional expr whose 2d and 3d operands have type void, as per C11 6.5.15§3 -* Kernel [2024-02-22] When an array is declared with a fixed length l,