From cf4022ee56a7a1ec94c573505929684b57315f3c Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Thu, 8 Aug 2024 15:08:45 +0200
Subject: [PATCH] ChangeLog
---
Changelog | 3 +++
1 file changed, 3 insertions(+)
diff --git a/Changelog b/Changelog
index f866553d17..d922b63db2 100644
--- a/Changelog
+++ b/Changelog
@@ -18,6 +18,9 @@
Open Source Release <next-release>
###############################################################################
+o! Kernel [2024-08-08] New Machine module to manage theMachine and machdeps.
+ Cil functions related to theMachine are deprecated.
+-! Kernel [2024-08-08] New minimal OCaml version: 4.14
o! Kernel [2024-08-08] Plug-ins Dominators and Postdominators have been
removed and replaced by the Dominators module in the kernel.
- Eva [2024-08-06] Support for 'calls' ACSL extension
--
GitLab