diff --git a/Changelog b/Changelog index c4be996965f6c843d60644c383d06de96e3536c3..ca25f44000d0311eee2493f1b21669889b8afba5 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