Skip to content

GitLab

Commit 85c09f81 authored by Virgile Prevosto's avatar Virgile Prevosto
Browse files

Update Changelog

parent c0846948
Hide whitespace changes
Inline Side-by-side
Changelog
View file @ 85c09f81
......@@ -17,6 +17,7 @@
Open Source Release <next-release>
##################################
- ACSL [2020/03/04] Make conversion from C ptr to logic array explicit
- 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
......
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