diff --git a/Changelog b/Changelog index 3cd809c4cb31f6030fbea1adc5a62e71fcb9bc55..ca81d8698f74c64ed4d224ea0a0cdaeb0dd06da9 100644 --- a/Changelog +++ b/Changelog @@ -17,6 +17,10 @@ Open Source Release <next-release> ################################## +- Eva [2020-07-27] Improved automatic loop unroll (-eva-auto-loop-unroll + option) on loops with several exit conditions, conditions using + equality operators, temporary variables introduced by the Frama-C + normalization or goto statements. - Eva [2020-05-29] New builtins for trigonometric functions acos, asin and atan (and their single-precision version acosf, asinf, atanf). - Kernel [2020-05-28] Support for C11's _Thread_local storage specifier