diff --git a/Changelog b/Changelog index 7ebb7055d6056b2810db4aaf30904dd1120aa987..cf1998a40a5b5ff0208b1f310c1ae892e0655fd0 100644 --- a/Changelog +++ b/Changelog @@ -17,6 +17,8 @@ Open Source Release <next-release> ################################## +-* Kernel [2019/03/05] Better detection of invalid goto in presence of VLA + (fixes #@499) -* Obfuscator [2019/02/26] Obfuscate logic types and logic constructors. - Eva [2019/01/10] Improved precision on nested loops (by postponing the widening on inner loops according to -eva-widening-period).