From 8d6b7c71ca95c61f521b001eee74b476b6e3c75f Mon Sep 17 00:00:00 2001
From: Jonas Kastberg <jihgfee@gmail.com>
Date: Tue, 21 Jan 2020 16:27:14 +0100
Subject: [PATCH] Added Actris to Case Studies in README

---
 README.md | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/README.md b/README.md
index dd171b0d3..9a3fb812c 100644
--- a/README.md
+++ b/README.md
@@ -108,6 +108,9 @@ that should be compatible with this version:
 * [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).
+* [Actris](https://gitlab.mpi-sws.org/iris/actris) is a separation logic
+  built on top of Iris for session-type based reasoning of message-passing
+  programs.
 
 ## Further Resources
 
-- 
GitLab