From 101ef9f0044b448d02984c5f034920bfe431102d Mon Sep 17 00:00:00 2001 From: Julien Signoles <julien.signoles@cea.fr> Date: Wed, 21 Feb 2018 19:21:25 +0100 Subject: [PATCH] changelog --- src/plugins/e-acsl/doc/Changelog | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/src/plugins/e-acsl/doc/Changelog b/src/plugins/e-acsl/doc/Changelog index 5056dd66aec..d1bdd8f17b4 100644 --- a/src/plugins/e-acsl/doc/Changelog +++ b/src/plugins/e-acsl/doc/Changelog @@ -19,6 +19,13 @@ # configure configure ############################################################################### +- E-ACSL [2018/02/21] New option -e-acsl-replace-libc-functions to + replace a few libc functions by built-ins that efficiently + detects when they are incorrectly called. +- E-ACSL [2018/02/21] New option -e-acsl-validate-format-strings to + detect format string errors. +-* E-ACSL [2018/02/21] Correct support of variable-length array + (fix bug #1834). -* runtime [2018/02/16] Function __e_acsl_offset now returns size_t. -* E-ACSL [2018/02/07] Fix incorrect typing in presence of comparison operators (may only be visible when directly -- GitLab