From 7f2ac05ffbc709514afd041caaf243c23b1c0ce2 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Guzm=C3=A1n=20Llamb=C3=ADas?= <gllambi@fing.edu.uy>
Date: Wed, 10 Apr 2024 13:18:52 -0300
Subject: [PATCH] Add animation readme

---
 gateway-prob-animation/README.md | 5 +++++
 1 file changed, 5 insertions(+)
 create mode 100644 gateway-prob-animation/README.md

diff --git a/gateway-prob-animation/README.md b/gateway-prob-animation/README.md
new file mode 100644
index 0000000..f191e17
--- /dev/null
+++ b/gateway-prob-animation/README.md
@@ -0,0 +1,5 @@
+ProB animations were developed with:
+* ProB 2 UI Version: 1.2.1
+* Java Version: 17.0.5 (Oracle Corporation)
+
+These pacakge includes three animations: 1) abstract machine, 2) refinement Ethereum to Fabric, and ) refinement Fabric to Ethereum. All refinement can be loaded with ProB and there are mocks for all machines. Mocks are single html web pages (e.g. gateway-history.html) that can be opened with any browser. Mocks shows the behaviour of the gateway on a single interaction. 
\ No newline at end of file
-- 
GitLab