diff --git a/Changelog b/Changelog index 6f9defaad92614bdc2408d1181e72354b045301d..9459f3143661b40a8683cb20d54a19c5dd5198f9 100644 --- a/Changelog +++ b/Changelog @@ -34,6 +34,10 @@ o! Kernel [2022-02-23] Remove State_selection.Static (deprecated since integer literal constants * Kernel [2022-02-17] Reject programs using unsupported vector_size attribute (fixes ##2573) +o Eva [2022-02-15] New API to run the analysis and access its results, + intended to replace the old API in Db.Value. It is more precise + as it uses all available domains to evaluate values and locations. + See file Eva.mli for more details. * Kernel [2022-02-08] Reject array whose size is too big with a proper error message instead of a crash (fixes ##2590) o! Kernel [2022-01-19] Removed obsolete AST nodes IndexPI and Info