From 6a045e8617e208040cee3dc68f0c4e6a8b03c1f3 Mon Sep 17 00:00:00 2001
From: Justin Loew <jloloew@gmail.com>
Date: Sun, 29 Apr 2018 01:33:21 -0500
Subject: [PATCH] Add barebones README

---
 README.md | 11 +++++++++++
 1 file changed, 11 insertions(+)
 create mode 100644 README.md

diff --git a/README.md b/README.md
new file mode 100644
index 0000000..b1f059d
--- /dev/null
+++ b/README.md
@@ -0,0 +1,11 @@
+# Modeling and Verification of Lamport's Distributed Mutual Exclusion Algorithm
+
+TODO: add a useful description
+
+## Execution
+
+To run, use this one-liner:
+
+```maude
+maude test-node-preds.maude
+```
-- 
GitLab