diff --git a/Changelog b/Changelog index 367fea6ff343fe72d323ea255a63179d9c0f9508..9e9f282d7a766bc2e24e3a24e2ce7c11c2d6d41a 100644 --- a/Changelog +++ b/Changelog @@ -18,6 +18,8 @@ Open Source Release <next-release> ############################################################################### +- Eva [2023-05-04] The octagon domain can now infer relations between + any lvalues of integer or pointer types. -* Ivette [2023-05-02] Ends properly frama-c process when Ivette is closed. -* Ivette [2023-05-02] Custom views are correctly saved and reloaded. -* Eva [2023-05-02] Fixes interpretation of Eva annotations at the end of