Skip to content
Snippets Groups Projects
Commit a5b7ef5c authored by Andre Maroneze's avatar Andre Maroneze
Browse files

Update Changelog

parent f8f6243a
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 @ a5b7ef5c
......@@ -29,6 +29,10 @@ o! Kernel [2021-11-29] Integer.pretty does not have the optional argument
Open Source Release 24.0 (Chromium)
###################################
-* Eva [2022-01-19] Always emits alarms about initialization, escaping
pointers and special floating-point values for the arguments of
calls to functions without body (or whose body is not analyzed),
even when -eva-warn-copy-indeterminate is unset.
- ACSL [2021-10-28] better type checks for volatile clauses
- Variadic [2021-10-26] translates printf/scanf calls even if formatting
string is not constant, warning that it will assume arguments
......
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