From 9c950895d110bd990e2ba20d752f9921ad92680f Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@cea.fr>
Date: Thu, 28 Oct 2021 17:40:03 +0000
Subject: [PATCH] Changelog
---
Changelog | 7 +++++++
1 file changed, 7 insertions(+)
diff --git a/Changelog b/Changelog
index e403ba0db67..fc7a8aeb119 100644
--- a/Changelog
+++ b/Changelog
@@ -21,6 +21,13 @@ Open Source Release <next-release>
Open Source Release 24.0 (Chromium)
###################################
+- ACSL [2021-10-28] better type checks for volatile clauses
+- Variadic [2021-10-26] translates printf/scanf calls even if formatting
+ string is not constant, warning that it will assume arguments
+ match the format.
+- Kernel [2021-10-26] Support for C11's _Static_assert
+- Libc [2021-10-26] Frama-C's libc #define _STDC_NO_COMPLEX as mandated by
+ ISO C11 for libraries without support for complex numbers
- Eva [2021-10-19] New options to allow states partitioning to survive
function returns: -eva-interprocedural-split for disjunctions
from split annotations, and -eva-interprocedural-history for
--
GitLab