no longer consider the stuckness bit experimental

d9059fcc · Ralf Jung · eebe055b · d9059fcc
Commit d9059fcc authored Feb 20, 2018 by Ralf Jung
Hide whitespace changes
Inline Side-by-side

Showing with 3 additions and 1 deletion

CHANGELOG.md CHANGELOG.md +3 -1

No files found.
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -7,7 +7,9 @@ Coq development, but not every API-breaking change is listed.  Changes marked

 Changes in and extensions of the theory:

-* [#] Weakestpre for total program correctness.
+* [#] Add weakest preconditions for total program correctness.
+* [#] "(Potentially) stuck" weakest preconditions are no longer considered
+  experimental.

 Changes in Coq: