Commit 948d3da8 authored by Allan Blanchard's avatar Allan Blanchard
Browse files

Changelog: updated missing date

parent f5f5bb6f
......@@ -31,7 +31,7 @@ Open Source Release 22.0 (Titanium)
transition, and use such variables in subsequent guards.
- Kernel [2020-10-09] Add option -print-config-json, to output Frama-C
configuration data in JSON format.
- Logic [2020-10-XX] '\from' now accepts '&v' expressions
- Logic [2020-10-14] '\from' now accepts '&v' expressions
- Metrics [2020-10-01] Distinguish between undefined but specified functions
and functions with neither definition nor specification.
-* Eva [2020-09-28] Improved string builtins on wide strings: crash fixed,
Supports Markdown
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