From dfb75d81a7ad2ba91ce4b60b2423c73539e53a83 Mon Sep 17 00:00:00 2001 From: Virgile Prevosto <virgile.prevosto@cea.fr> Date: Thu, 31 Oct 2019 11:53:11 +0100 Subject: [PATCH] =?UTF-8?q?Announcing=20MdR=20=F0=9F=A4=A3=20in=20the=20Ch?= =?UTF-8?q?angelog?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- Changelog | 2 ++ 1 file changed, 2 insertions(+) diff --git a/Changelog b/Changelog index c4be996965f..ca25f44000d 100644 --- a/Changelog +++ b/Changelog @@ -17,6 +17,8 @@ Open Source Release <next-release> ################################## +- MdR [2019/10/31] New plug-in Markdown-Report (MdR) for markdown and + SARIF outputs - Eva [2019/10/23] New option -eva-auto-loop-unroll N to unroll all loops whose number of iterations can be easily bounded by <N>. - Eva [2019/10/21] New octagon domain inferring relations of the form -- GitLab