Commit 9a5c5561 authored by Allan Blanchard's avatar Allan Blanchard

Prepare Changelogs for 22.0-Titanium

parent c5c4099a
......@@ -17,6 +17,10 @@
Open Source Release <next-release>
##################################
###################################
Open Source Release 22.0 (Titanium)
###################################
- MdR [2020-10-19] Update Sarif output to 2.1.0 + prettier URI
- Dev [2020-10-20] Support for OCamlGraph 2.0.0
- ACSL [2020-10-16] Allows for axiomatic blocks-like extensions
......
......@@ -25,6 +25,10 @@
Plugin E-ACSL <next-release>
############################
#############################
Plugin E-ACSL 22.0 (Titanium)
#############################
- E-ACSL [2020-10-14] Add Support for Variadic generated functions in
the AST (frama-c/e-acsl#128).
- E-ACSL [2020-10-06] Add support for the `\separated` predicate.
......
......@@ -24,6 +24,10 @@
Plugin WP <next-release>
#########################
#########################
Plugin WP 22.0 (Titanium)
#########################
- WP [2020-10-14] New warning "pedantic-assigns". WP needs precise
'assigns ... \from ...' specification about out
pointers (\result and assigned pointers) to generate
......
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