From 1017fabb24897a6eae59fe7c2469257519db4666 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Wed, 24 Jan 2018 14:33:40 +0100
Subject: [PATCH] CHANGELOG for total WP

---
 CHANGELOG.md | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/CHANGELOG.md b/CHANGELOG.md
index 6cdea08d7..aff5d2f3f 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -5,6 +5,10 @@ Coq development, but not every API-breaking change is listed.  Changes marked
 
 ## Iris master
 
+Changes in and extensions of the theory:
+
+* [#] Weakestpre for total program correctness.
+
 Changes in Coq:
 
 * Rename `timelessP` -> `timeless` (projection of the `Timeless` class)
-- 
GitLab