diff --git a/Changelog b/Changelog
index 613f2a54569cd4de76a8584a99daa7c7aa480e5f..0fbed0851ebd3ce5581ae4b3a0a7a1cc40c70e2a 100644
--- a/Changelog
+++ b/Changelog
@@ -19,6 +19,10 @@ Open Source Release <next-release>
 ###############################################################################
 
 o   Kernel    [2024-07-30] mapNoCopy moved to Extlib and deprecated in Cil
+o   Eva       [2024-07-31] Export profiling information about the analysis
+              performance via the new module Eva_perf in Eva.mli.
+-   Ivette    [2024-07-26] New flamegraph component to visualize Eva analysis
+              time by C functions, in the "Eva Summary" view by default.
 -   Kernel    [2024-05-20] New ACSL extension loop unfold (replaces loop pragma UNROLL)
 -!  Kernel    [2024-05-20] Removed loop pragma UNROLL annotations
 o!  Kernel    [2024-05-20] Renamed module Unroll_loop into Unfold_loop