From 6ed517204c0ada3332f3092fcda13427e297cee9 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Wed, 19 May 2021 13:17:44 +0200
Subject: [PATCH] add Xchg to changelog
---
CHANGELOG.md | 1 +
1 file changed, 1 insertion(+)
diff --git a/CHANGELOG.md b/CHANGELOG.md
index 208f5a7e5..d454749dc 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -65,6 +65,7 @@ Coq 8.11 is no longer supported in this version of Iris.
**Changes in `heap_lang`:**
* Rename `Build_loc` constructor for `loc` type to `Loc`.
+* Add atomic `Xchg` ("exchange"/"swap") operation. (by Simon Hudon, Google)
The following `sed` script helps adjust your code to the renaming (on macOS,
replace `sed` by `gsed`, installed via e.g. `brew install gnu-sed`).
--
GitLab