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

Updates the Changelog.

parent 2a92a9f5
......@@ -17,6 +17,8 @@
Open Source Release <next-release>
##################################
- Eva [2020/03/03] Evaluates the logic predicate memchr_off, used in
Frama-C libc specifications.
- Eva [2020/03/03] Slightly better heuristics for the subdivision of
evaluations (option -eva-subdivide-non-linear).
- Instantiate [2020/03/02] New plug-in Instantiate, to create function
......
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