From 9e2e8f0a15f930b63e835687b83d7d2207a9d19b Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Fri, 25 Jan 2019 11:20:42 +0100
Subject: [PATCH] iris-atomic got merged into iris-examples

---
 README.md | 2 --
 1 file changed, 2 deletions(-)

diff --git a/README.md b/README.md
index 07a61c6ec..35a8e29a7 100644
--- a/README.md
+++ b/README.md
@@ -105,8 +105,6 @@ that should be compatible with this version:
   formalization of the core Rust type system.
 * [iGPS](https://gitlab.mpi-sws.org/FP/sra-gps/tree/gen_proofmode_WIP) is a
   logic for release-acquire memory.
-* [Iris Atomic](https://gitlab.mpi-sws.org/iris/atomic) is an experimental
-  formalization of logically atomic triples in Iris.
 * [Iron](https://gitlab.mpi-sws.org/iris/iron) is a linear separation logic
   built on top of Iris for precise reasoning about resources (such as making
   sure there are no memory leaks).
-- 
GitLab