Skip to content
Snippets Groups Projects
Commit 9e0c5b18 authored by Allan Blanchard's avatar Allan Blanchard
Browse files

[wp] ChangeLog

parent b8b42b6f
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
src/plugins/wp/Changelog
+ 6
− 0
View file @ 9e0c5b18
......@@ -24,6 +24,12 @@
Plugin WP <next-release>
########################
- TIP [2022-01-05] New tactic Clear: remove hypothesis
-* WP [2022-01-05] Fix loop invariant order
- WP [2022-01-05] Weaken check loop invariant
- TIP [2021-11-30] Extended Split tactic: can split in hypotheses, can
split conjunctions into multiple hypotheses.
- WP [2021-11-08] Removed legacy WP engine and option -wp-legacy
#########################
Plugin WP 24.0 (Chromium)
......
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