From 85c09f81ba753d107fd9ed6cb074de549feb7336 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@cea.fr>
Date: Wed, 4 Mar 2020 16:28:00 +0100
Subject: [PATCH] Update Changelog
---
Changelog | 1 +
1 file changed, 1 insertion(+)
diff --git a/Changelog b/Changelog
index d7d0e3c178a..10062ae0ed8 100644
--- a/Changelog
+++ b/Changelog
@@ -17,6 +17,7 @@
Open Source Release <next-release>
##################################
+- ACSL [2020/03/04] Make conversion from C ptr to logic array explicit
- Eva [2020/03/03] Evaluates the logic predicate memchr_off, used in
Frama-C libc specifications.
- Eva [2020/03/03] Slightly better heuristics for the subdivision of
--
GitLab