Skip to content
GitLab
Menu
Projects
Groups
Snippets
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
pub
frama-c
Commits
c0c60b77
Commit
c0c60b77
authored
Apr 07, 2020
by
David Bühler
Browse files
Updates the Changelog for MR !2581.
parent
f748f666
Changes
1
Hide whitespace changes
Inline
Side-by-side
Changelog
View file @
c0c60b77
...
...
@@ -17,6 +17,10 @@
Open Source Release <next-release>
##################################
- Eva [2020/04/06] New option -eva-domains-function to enable domains
only on given functions. Argument <d:f> enables the domain [d]
on function [f], while <d:f+> also enables it on all functions
called from [f]. <d:f-> disables [d] from function [f].
- Eva [2020/04/03] New experimental builtins for dynamic allocation
Frama_C_*alloc_imprecise: faster convergence, but very imprecise.
- Kernel [2020/04/01] Report user errors when keys are not bound to a
...
...
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment