From 0693e41b43ce776b34d9407871f76d37f9383214 Mon Sep 17 00:00:00 2001
From: Andrei Paskevich <andrei@lri.fr>
Date: Sun, 23 Sep 2018 23:21:41 +0200
Subject: [PATCH] move ring_decision to in_progress/
---
.../ring_decision/ringdecision.mlw | 0
.../ring_decision/ringdecision/why3session.xml | 0
.../ring_decision/ringdecision/why3shapes.gz | Bin
.../{ => in_progress}/ring_decision/strassen.mlw | 0
.../ring_decision/strassen/why3session.xml | 0
.../ring_decision/strassen/why3shapes.gz | Bin
6 files changed, 0 insertions(+), 0 deletions(-)
rename examples/{ => in_progress}/ring_decision/ringdecision.mlw (100%)
rename examples/{ => in_progress}/ring_decision/ringdecision/why3session.xml (100%)
rename examples/{ => in_progress}/ring_decision/ringdecision/why3shapes.gz (100%)
rename examples/{ => in_progress}/ring_decision/strassen.mlw (100%)
rename examples/{ => in_progress}/ring_decision/strassen/why3session.xml (100%)
rename examples/{ => in_progress}/ring_decision/strassen/why3shapes.gz (100%)
diff --git a/examples/ring_decision/ringdecision.mlw b/examples/in_progress/ring_decision/ringdecision.mlw
similarity index 100%
rename from examples/ring_decision/ringdecision.mlw
rename to examples/in_progress/ring_decision/ringdecision.mlw
diff --git a/examples/ring_decision/ringdecision/why3session.xml b/examples/in_progress/ring_decision/ringdecision/why3session.xml
similarity index 100%
rename from examples/ring_decision/ringdecision/why3session.xml
rename to examples/in_progress/ring_decision/ringdecision/why3session.xml
diff --git a/examples/ring_decision/ringdecision/why3shapes.gz b/examples/in_progress/ring_decision/ringdecision/why3shapes.gz
similarity index 100%
rename from examples/ring_decision/ringdecision/why3shapes.gz
rename to examples/in_progress/ring_decision/ringdecision/why3shapes.gz
diff --git a/examples/ring_decision/strassen.mlw b/examples/in_progress/ring_decision/strassen.mlw
similarity index 100%
rename from examples/ring_decision/strassen.mlw
rename to examples/in_progress/ring_decision/strassen.mlw
diff --git a/examples/ring_decision/strassen/why3session.xml b/examples/in_progress/ring_decision/strassen/why3session.xml
similarity index 100%
rename from examples/ring_decision/strassen/why3session.xml
rename to examples/in_progress/ring_decision/strassen/why3session.xml
diff --git a/examples/ring_decision/strassen/why3shapes.gz b/examples/in_progress/ring_decision/strassen/why3shapes.gz
similarity index 100%
rename from examples/ring_decision/strassen/why3shapes.gz
rename to examples/in_progress/ring_decision/strassen/why3shapes.gz
--
GitLab