From ac5b43a078162d8e60255194f7db108dab7d778d Mon Sep 17 00:00:00 2001
From: Dan Frumin <dfrumin@cs.ru.nl>
Date: Sun, 14 Jul 2019 15:11:37 +0200
Subject: [PATCH] bumpd readme

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

diff --git a/README.md b/README.md
index 1ed9029..d25b815 100644
--- a/README.md
+++ b/README.md
@@ -53,6 +53,8 @@ they can illustrate the usage of the logic.
   + `cell.v` - higher-order cell objects
   + `ticket_lock.v` - ticket lock refines spin lock
   + `various.v` - lots of examples with higher-order functions with local state, in the style of "The effects of higher-order state and control on local relational reasoning" paper
+- `experimental` more "experimental" stuff
+  + `helping/helping_stack.v` linearizability of stack with helping
 
 ## Differences with the old version
 
-- 
GitLab