Commit c6424c46 authored by David Bühler's avatar David Bühler
Browse files

Updates the Changelog for MR !2309.

parent 996937a6
......@@ -17,6 +17,8 @@
Open Source Release <next-release>
##################################
- 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
value for command-line options that require pairs of key:value
as arguments. Such keys were silently ignored.
......
Markdown is supported
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