Commit 2a3b1974 authored by Loïc Correnson's avatar Loïc Correnson
Browse files

[wp] updated Changelog

parent c808a23b
......@@ -24,13 +24,13 @@
Plugin WP <next-release>
#########################
- WP [2020-10-07] New tactic Bit-Test range
- WP [2020-09-21] Added support for Why3 interactive prover (Coq)
- WP [2020-10-XX] New warning "pedantic-assigns". WP needs precise
- WP [2020-10-14] New warning "pedantic-assigns". WP needs precise
'assigns ... \from ...' specification about out
pointers (\result and assigned pointers) to generate
precise proof hypotheses.
- WP [2020-10-XX] Hypotheses: out pointers (\result + written pointers)
- WP [2020-10-14] Hypotheses: out pointers (\result + written pointers)
- WP [2020-10-07] New tactic Bit-Test range
- WP [2020-09-21] Added support for Why3 interactive prover (Coq)
- WP [2020-09-21] Added support for Why3 Coq interactive prover
- WP [2020-09-21] New option -wp-interactive <mode>
- WP [2020-09-21] New option -wp-interactive-timeout <seconds>
......
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