Skip to content
Snippets Groups Projects
Commit b8874fb7 authored by Loïc Correnson's avatar Loïc Correnson Committed by David Bühler
Browse files

[wp] changelog for invalid pointers

parent a83af155
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
src/plugins/wp/Changelog
+ 1
− 0
View file @ b8874fb7
...@@ -20,6 +20,7 @@ ...@@ -20,6 +20,7 @@
# <Prover>: prover # <Prover>: prover
############################################################################### ###############################################################################
- WP [2020/03/26] Added support for invalid-pointer predicate
- WP [2020/02/21] Why3 prover version fallback - WP [2020/02/21] Why3 prover version fallback
- WP [2020/02/21] Why3 prover full-names use ':' instead of ',' - WP [2020/02/21] Why3 prover full-names use ':' instead of ','
-* WP [2020/02/20] Fixes handling of LoopCurrent in loop invariants -* WP [2020/02/20] Fixes handling of LoopCurrent in loop invariants
......
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