Skip to content
Snippets Groups Projects
Commit 361a2e4b authored by David Bühler's avatar David Bühler
Browse files

[Eva] Retroactively updates the Changelog for the new Eva API.

parent 3c3253b1
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 4 additions and 0 deletions
Changelog
+ 4
− 0
View file @ 361a2e4b
...@@ -34,6 +34,10 @@ o! Kernel [2022-02-23] Remove State_selection.Static (deprecated since ...@@ -34,6 +34,10 @@ o! Kernel [2022-02-23] Remove State_selection.Static (deprecated since
integer literal constants integer literal constants
* Kernel [2022-02-17] Reject programs using unsupported * Kernel [2022-02-17] Reject programs using unsupported
vector_size attribute (fixes ##2573) 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 * Kernel [2022-02-08] Reject array whose size is too big with a proper
error message instead of a crash (fixes ##2590) error message instead of a crash (fixes ##2590)
o! Kernel [2022-01-19] Removed obsolete AST nodes IndexPI and Info o! Kernel [2022-01-19] Removed obsolete AST nodes IndexPI and Info
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment