From a092f2251e575d3148cf2f620c609abf38a6865f Mon Sep 17 00:00:00 2001 From: Michael Leuschel <leuschel@uni-duesseldorf.de> Date: Tue, 1 Feb 2022 15:55:02 +0100 Subject: [PATCH] move rodin files to subfolder Signed-off-by: Michael Leuschel <leuschel@uni-duesseldorf.de> --- Train_B_Book/{ => rodin_train}/train_0.bcm | 0 Train_B_Book/{ => rodin_train}/train_0.bpo | 0 Train_B_Book/{ => rodin_train}/train_0.bpr | 0 Train_B_Book/{ => rodin_train}/train_0.bps | 0 Train_B_Book/{ => rodin_train}/train_0.bum | 0 Train_B_Book/{ => rodin_train}/train_0_prob.bcm | 0 Train_B_Book/{ => rodin_train}/train_0_prob.bpo | 0 Train_B_Book/{ => rodin_train}/train_0_prob.bpr | 0 Train_B_Book/{ => rodin_train}/train_0_prob.bps | 0 Train_B_Book/{ => rodin_train}/train_0_prob.bum | 0 Train_B_Book/{ => rodin_train}/train_1.bcm | 0 Train_B_Book/{ => rodin_train}/train_1.bpo | 0 Train_B_Book/{ => rodin_train}/train_1.bpr | 0 Train_B_Book/{ => rodin_train}/train_1.bps | 0 Train_B_Book/{ => rodin_train}/train_1.bum | 0 Train_B_Book/{ => rodin_train}/train_1_beebook.bcm | 0 Train_B_Book/{ => rodin_train}/train_1_beebook.bpo | 0 Train_B_Book/{ => rodin_train}/train_1_beebook.bpr | 0 Train_B_Book/{ => rodin_train}/train_1_beebook.bps | 0 Train_B_Book/{ => rodin_train}/train_1_beebook.bum | 0 Train_B_Book/{ => rodin_train}/train_1_prob.bcm | 0 Train_B_Book/{ => rodin_train}/train_1_prob.bpo | 0 Train_B_Book/{ => rodin_train}/train_1_prob.bpr | 0 Train_B_Book/{ => rodin_train}/train_1_prob.bps | 0 Train_B_Book/{ => rodin_train}/train_1_prob.bum | 0 Train_B_Book/{ => rodin_train}/train_1_prob_POR.bcm | 0 Train_B_Book/{ => rodin_train}/train_1_prob_POR.bpo | 0 Train_B_Book/{ => rodin_train}/train_1_prob_POR.bpr | 0 Train_B_Book/{ => rodin_train}/train_1_prob_POR.bps | 0 Train_B_Book/{ => rodin_train}/train_1_prob_POR.bum | 0 Train_B_Book/{ => rodin_train}/train_2.bcm | 0 Train_B_Book/{ => rodin_train}/train_2.bpo | 0 Train_B_Book/{ => rodin_train}/train_2.bpr | 0 Train_B_Book/{ => rodin_train}/train_2.bps | 0 Train_B_Book/{ => rodin_train}/train_2.bum | 0 Train_B_Book/{ => rodin_train}/train_2_prob.bcm | 0 Train_B_Book/{ => rodin_train}/train_2_prob.bpo | 0 Train_B_Book/{ => rodin_train}/train_2_prob.bpr | 0 Train_B_Book/{ => rodin_train}/train_2_prob.bps | 0 Train_B_Book/{ => rodin_train}/train_2_prob.bum | 0 Train_B_Book/{ => rodin_train}/train_3.bcm | 0 Train_B_Book/{ => rodin_train}/train_3.bpo | 0 Train_B_Book/{ => rodin_train}/train_3.bpr | 0 Train_B_Book/{ => rodin_train}/train_3.bps | 0 Train_B_Book/{ => rodin_train}/train_3.bum | 0 Train_B_Book/{ => rodin_train}/train_3_prob.bcm | 0 Train_B_Book/{ => rodin_train}/train_3_prob.bpo | 0 Train_B_Book/{ => rodin_train}/train_3_prob.bpr | 0 Train_B_Book/{ => rodin_train}/train_3_prob.bps | 0 Train_B_Book/{ => rodin_train}/train_3_prob.bum | 0 Train_B_Book/{ => rodin_train}/train_4.bcm | 0 Train_B_Book/{ => rodin_train}/train_4.bmso | 0 Train_B_Book/{ => rodin_train}/train_4.bpo | 0 Train_B_Book/{ => rodin_train}/train_4.bpr | 0 Train_B_Book/{ => rodin_train}/train_4.bps | 0 Train_B_Book/{ => rodin_train}/train_4.bum | 0 Train_B_Book/{ => rodin_train}/train_4_POR.bcm | 0 Train_B_Book/{ => rodin_train}/train_4_POR.bpo | 0 Train_B_Book/{ => rodin_train}/train_4_POR.bpr | 0 Train_B_Book/{ => rodin_train}/train_4_POR.bps | 0 Train_B_Book/{ => rodin_train}/train_4_POR.bum | 0 Train_B_Book/{ => rodin_train}/train_ctx0.bcc | 0 Train_B_Book/{ => rodin_train}/train_ctx0.bpo | 0 Train_B_Book/{ => rodin_train}/train_ctx0.bpr | 0 Train_B_Book/{ => rodin_train}/train_ctx0.bps | 0 Train_B_Book/{ => rodin_train}/train_ctx0.buc | 0 Train_B_Book/{ => rodin_train}/train_ctx0_beebook.bcc | 0 Train_B_Book/{ => rodin_train}/train_ctx0_beebook.bpo | 0 Train_B_Book/{ => rodin_train}/train_ctx0_beebook.bpr | 0 Train_B_Book/{ => rodin_train}/train_ctx0_beebook.bps | 0 Train_B_Book/{ => rodin_train}/train_ctx0_beebook.buc | 0 Train_B_Book/{ => rodin_train}/train_ctx0_prob.bcc | 0 Train_B_Book/{ => rodin_train}/train_ctx0_prob.bpo | 0 Train_B_Book/{ => rodin_train}/train_ctx0_prob.bpr | 0 Train_B_Book/{ => rodin_train}/train_ctx0_prob.bps | 0 Train_B_Book/{ => rodin_train}/train_ctx0_prob.buc | 0 Train_B_Book/{ => rodin_train}/train_ctx1.bcc | 0 Train_B_Book/{ => rodin_train}/train_ctx1.bpo | 0 Train_B_Book/{ => rodin_train}/train_ctx1.bpr | 0 Train_B_Book/{ => rodin_train}/train_ctx1.bps | 0 Train_B_Book/{ => rodin_train}/train_ctx1.buc | 0 Train_B_Book/{ => rodin_train}/train_ctx1_beebook.bcc | 0 Train_B_Book/{ => rodin_train}/train_ctx1_beebook.bpo | 0 Train_B_Book/{ => rodin_train}/train_ctx1_beebook.bpr | 0 Train_B_Book/{ => rodin_train}/train_ctx1_beebook.bps | 0 Train_B_Book/{ => rodin_train}/train_ctx1_beebook.buc | 0 Train_B_Book/{ => rodin_train}/train_ctx1_prob.bcc | 0 Train_B_Book/{ => rodin_train}/train_ctx1_prob.bpo | 0 Train_B_Book/{ => rodin_train}/train_ctx1_prob.bpr | 0 Train_B_Book/{ => rodin_train}/train_ctx1_prob.bps | 0 Train_B_Book/{ => rodin_train}/train_ctx1_prob.buc | 0 Train_B_Book/{ => rodin_train}/train_ctx2.bcc | 0 Train_B_Book/{ => rodin_train}/train_ctx2.bpo | 0 Train_B_Book/{ => rodin_train}/train_ctx2.bpr | 0 Train_B_Book/{ => rodin_train}/train_ctx2.bps | 0 Train_B_Book/{ => rodin_train}/train_ctx2.buc | 0 Train_B_Book/{ => rodin_train}/train_ctx2_beebook.bcc | 0 Train_B_Book/{ => rodin_train}/train_ctx2_beebook.bpo | 0 Train_B_Book/{ => rodin_train}/train_ctx2_beebook.bpr | 0 Train_B_Book/{ => rodin_train}/train_ctx2_beebook.bps | 0 Train_B_Book/{ => rodin_train}/train_ctx2_beebook.buc | 0 Train_B_Book/{ => rodin_train}/train_ctx2_prob.bcc | 0 Train_B_Book/{ => rodin_train}/train_ctx2_prob.bpo | 0 Train_B_Book/{ => rodin_train}/train_ctx2_prob.bpr | 0 Train_B_Book/{ => rodin_train}/train_ctx2_prob.bps | 0 Train_B_Book/{ => rodin_train}/train_ctx2_prob.buc | 0 Train_B_Book/train_1_beebook.prob2project | 4 ++-- 107 files changed, 2 insertions(+), 2 deletions(-) rename Train_B_Book/{ => rodin_train}/train_0.bcm (100%) rename Train_B_Book/{ => rodin_train}/train_0.bpo (100%) rename Train_B_Book/{ => rodin_train}/train_0.bpr (100%) rename Train_B_Book/{ => rodin_train}/train_0.bps (100%) rename Train_B_Book/{ => rodin_train}/train_0.bum (100%) rename Train_B_Book/{ => rodin_train}/train_0_prob.bcm (100%) rename Train_B_Book/{ => rodin_train}/train_0_prob.bpo (100%) rename Train_B_Book/{ => rodin_train}/train_0_prob.bpr (100%) rename Train_B_Book/{ => rodin_train}/train_0_prob.bps (100%) rename Train_B_Book/{ => rodin_train}/train_0_prob.bum (100%) rename Train_B_Book/{ => rodin_train}/train_1.bcm (100%) rename Train_B_Book/{ => rodin_train}/train_1.bpo (100%) rename Train_B_Book/{ => rodin_train}/train_1.bpr (100%) rename Train_B_Book/{ => rodin_train}/train_1.bps (100%) rename Train_B_Book/{ => rodin_train}/train_1.bum (100%) rename Train_B_Book/{ => rodin_train}/train_1_beebook.bcm (100%) rename Train_B_Book/{ => rodin_train}/train_1_beebook.bpo (100%) rename Train_B_Book/{ => rodin_train}/train_1_beebook.bpr (100%) rename Train_B_Book/{ => rodin_train}/train_1_beebook.bps (100%) rename Train_B_Book/{ => rodin_train}/train_1_beebook.bum (100%) rename Train_B_Book/{ => rodin_train}/train_1_prob.bcm (100%) rename Train_B_Book/{ => rodin_train}/train_1_prob.bpo (100%) rename Train_B_Book/{ => rodin_train}/train_1_prob.bpr (100%) rename Train_B_Book/{ => rodin_train}/train_1_prob.bps (100%) rename Train_B_Book/{ => rodin_train}/train_1_prob.bum (100%) rename Train_B_Book/{ => rodin_train}/train_1_prob_POR.bcm (100%) rename Train_B_Book/{ => rodin_train}/train_1_prob_POR.bpo (100%) rename Train_B_Book/{ => rodin_train}/train_1_prob_POR.bpr (100%) rename Train_B_Book/{ => rodin_train}/train_1_prob_POR.bps (100%) rename Train_B_Book/{ => rodin_train}/train_1_prob_POR.bum (100%) rename Train_B_Book/{ => rodin_train}/train_2.bcm (100%) rename Train_B_Book/{ => rodin_train}/train_2.bpo (100%) rename Train_B_Book/{ => rodin_train}/train_2.bpr (100%) rename Train_B_Book/{ => rodin_train}/train_2.bps (100%) rename Train_B_Book/{ => rodin_train}/train_2.bum (100%) rename Train_B_Book/{ => rodin_train}/train_2_prob.bcm (100%) rename Train_B_Book/{ => rodin_train}/train_2_prob.bpo (100%) rename Train_B_Book/{ => rodin_train}/train_2_prob.bpr (100%) rename Train_B_Book/{ => rodin_train}/train_2_prob.bps (100%) rename Train_B_Book/{ => rodin_train}/train_2_prob.bum (100%) rename Train_B_Book/{ => rodin_train}/train_3.bcm (100%) rename Train_B_Book/{ => rodin_train}/train_3.bpo (100%) rename Train_B_Book/{ => rodin_train}/train_3.bpr (100%) rename Train_B_Book/{ => rodin_train}/train_3.bps (100%) rename Train_B_Book/{ => rodin_train}/train_3.bum (100%) rename Train_B_Book/{ => rodin_train}/train_3_prob.bcm (100%) rename Train_B_Book/{ => rodin_train}/train_3_prob.bpo (100%) rename Train_B_Book/{ => rodin_train}/train_3_prob.bpr (100%) rename Train_B_Book/{ => rodin_train}/train_3_prob.bps (100%) rename Train_B_Book/{ => rodin_train}/train_3_prob.bum (100%) rename Train_B_Book/{ => rodin_train}/train_4.bcm (100%) rename Train_B_Book/{ => rodin_train}/train_4.bmso (100%) rename Train_B_Book/{ => rodin_train}/train_4.bpo (100%) rename Train_B_Book/{ => rodin_train}/train_4.bpr (100%) rename Train_B_Book/{ => rodin_train}/train_4.bps (100%) rename Train_B_Book/{ => rodin_train}/train_4.bum (100%) rename Train_B_Book/{ => rodin_train}/train_4_POR.bcm (100%) rename Train_B_Book/{ => rodin_train}/train_4_POR.bpo (100%) rename Train_B_Book/{ => rodin_train}/train_4_POR.bpr (100%) rename Train_B_Book/{ => rodin_train}/train_4_POR.bps (100%) rename Train_B_Book/{ => rodin_train}/train_4_POR.bum (100%) rename Train_B_Book/{ => rodin_train}/train_ctx0.bcc (100%) rename Train_B_Book/{ => rodin_train}/train_ctx0.bpo (100%) rename Train_B_Book/{ => rodin_train}/train_ctx0.bpr (100%) rename Train_B_Book/{ => rodin_train}/train_ctx0.bps (100%) rename Train_B_Book/{ => rodin_train}/train_ctx0.buc (100%) rename Train_B_Book/{ => rodin_train}/train_ctx0_beebook.bcc (100%) rename Train_B_Book/{ => rodin_train}/train_ctx0_beebook.bpo (100%) rename Train_B_Book/{ => rodin_train}/train_ctx0_beebook.bpr (100%) rename Train_B_Book/{ => rodin_train}/train_ctx0_beebook.bps (100%) rename Train_B_Book/{ => rodin_train}/train_ctx0_beebook.buc (100%) rename Train_B_Book/{ => rodin_train}/train_ctx0_prob.bcc (100%) rename Train_B_Book/{ => rodin_train}/train_ctx0_prob.bpo (100%) rename Train_B_Book/{ => rodin_train}/train_ctx0_prob.bpr (100%) rename Train_B_Book/{ => rodin_train}/train_ctx0_prob.bps (100%) rename Train_B_Book/{ => rodin_train}/train_ctx0_prob.buc (100%) rename Train_B_Book/{ => rodin_train}/train_ctx1.bcc (100%) rename Train_B_Book/{ => rodin_train}/train_ctx1.bpo (100%) rename Train_B_Book/{ => rodin_train}/train_ctx1.bpr (100%) rename Train_B_Book/{ => rodin_train}/train_ctx1.bps (100%) rename Train_B_Book/{ => rodin_train}/train_ctx1.buc (100%) rename Train_B_Book/{ => rodin_train}/train_ctx1_beebook.bcc (100%) rename Train_B_Book/{ => rodin_train}/train_ctx1_beebook.bpo (100%) rename Train_B_Book/{ => rodin_train}/train_ctx1_beebook.bpr (100%) rename Train_B_Book/{ => rodin_train}/train_ctx1_beebook.bps (100%) rename Train_B_Book/{ => rodin_train}/train_ctx1_beebook.buc (100%) rename Train_B_Book/{ => rodin_train}/train_ctx1_prob.bcc (100%) rename Train_B_Book/{ => rodin_train}/train_ctx1_prob.bpo (100%) rename Train_B_Book/{ => rodin_train}/train_ctx1_prob.bpr (100%) rename Train_B_Book/{ => rodin_train}/train_ctx1_prob.bps (100%) rename Train_B_Book/{ => rodin_train}/train_ctx1_prob.buc (100%) rename Train_B_Book/{ => rodin_train}/train_ctx2.bcc (100%) rename Train_B_Book/{ => rodin_train}/train_ctx2.bpo (100%) rename Train_B_Book/{ => rodin_train}/train_ctx2.bpr (100%) rename Train_B_Book/{ => rodin_train}/train_ctx2.bps (100%) rename Train_B_Book/{ => rodin_train}/train_ctx2.buc (100%) rename Train_B_Book/{ => rodin_train}/train_ctx2_beebook.bcc (100%) rename Train_B_Book/{ => rodin_train}/train_ctx2_beebook.bpo (100%) rename Train_B_Book/{ => rodin_train}/train_ctx2_beebook.bpr (100%) rename Train_B_Book/{ => rodin_train}/train_ctx2_beebook.bps (100%) rename Train_B_Book/{ => rodin_train}/train_ctx2_beebook.buc (100%) rename Train_B_Book/{ => rodin_train}/train_ctx2_prob.bcc (100%) rename Train_B_Book/{ => rodin_train}/train_ctx2_prob.bpo (100%) rename Train_B_Book/{ => rodin_train}/train_ctx2_prob.bpr (100%) rename Train_B_Book/{ => rodin_train}/train_ctx2_prob.bps (100%) rename Train_B_Book/{ => rodin_train}/train_ctx2_prob.buc (100%) diff --git a/Train_B_Book/train_0.bcm b/Train_B_Book/rodin_train/train_0.bcm similarity index 100% rename from Train_B_Book/train_0.bcm rename to Train_B_Book/rodin_train/train_0.bcm diff --git a/Train_B_Book/train_0.bpo b/Train_B_Book/rodin_train/train_0.bpo similarity index 100% rename from Train_B_Book/train_0.bpo rename to Train_B_Book/rodin_train/train_0.bpo diff --git a/Train_B_Book/train_0.bpr b/Train_B_Book/rodin_train/train_0.bpr similarity index 100% rename from Train_B_Book/train_0.bpr rename to Train_B_Book/rodin_train/train_0.bpr diff --git a/Train_B_Book/train_0.bps b/Train_B_Book/rodin_train/train_0.bps similarity index 100% rename from Train_B_Book/train_0.bps rename to Train_B_Book/rodin_train/train_0.bps diff --git a/Train_B_Book/train_0.bum b/Train_B_Book/rodin_train/train_0.bum similarity index 100% rename from Train_B_Book/train_0.bum rename to Train_B_Book/rodin_train/train_0.bum diff --git a/Train_B_Book/train_0_prob.bcm b/Train_B_Book/rodin_train/train_0_prob.bcm similarity index 100% rename from Train_B_Book/train_0_prob.bcm rename to Train_B_Book/rodin_train/train_0_prob.bcm diff --git a/Train_B_Book/train_0_prob.bpo b/Train_B_Book/rodin_train/train_0_prob.bpo similarity index 100% rename from Train_B_Book/train_0_prob.bpo rename to Train_B_Book/rodin_train/train_0_prob.bpo diff --git a/Train_B_Book/train_0_prob.bpr b/Train_B_Book/rodin_train/train_0_prob.bpr similarity index 100% rename from Train_B_Book/train_0_prob.bpr rename to Train_B_Book/rodin_train/train_0_prob.bpr diff --git a/Train_B_Book/train_0_prob.bps b/Train_B_Book/rodin_train/train_0_prob.bps similarity index 100% rename from Train_B_Book/train_0_prob.bps rename to Train_B_Book/rodin_train/train_0_prob.bps diff --git a/Train_B_Book/train_0_prob.bum b/Train_B_Book/rodin_train/train_0_prob.bum similarity index 100% rename from Train_B_Book/train_0_prob.bum rename to Train_B_Book/rodin_train/train_0_prob.bum diff --git a/Train_B_Book/train_1.bcm b/Train_B_Book/rodin_train/train_1.bcm similarity index 100% rename from Train_B_Book/train_1.bcm rename to Train_B_Book/rodin_train/train_1.bcm diff --git a/Train_B_Book/train_1.bpo b/Train_B_Book/rodin_train/train_1.bpo similarity index 100% rename from Train_B_Book/train_1.bpo rename to Train_B_Book/rodin_train/train_1.bpo diff --git a/Train_B_Book/train_1.bpr b/Train_B_Book/rodin_train/train_1.bpr similarity index 100% rename from Train_B_Book/train_1.bpr rename to Train_B_Book/rodin_train/train_1.bpr diff --git a/Train_B_Book/train_1.bps b/Train_B_Book/rodin_train/train_1.bps similarity index 100% rename from Train_B_Book/train_1.bps rename to Train_B_Book/rodin_train/train_1.bps diff --git a/Train_B_Book/train_1.bum b/Train_B_Book/rodin_train/train_1.bum similarity index 100% rename from Train_B_Book/train_1.bum rename to Train_B_Book/rodin_train/train_1.bum diff --git a/Train_B_Book/train_1_beebook.bcm b/Train_B_Book/rodin_train/train_1_beebook.bcm similarity index 100% rename from Train_B_Book/train_1_beebook.bcm rename to Train_B_Book/rodin_train/train_1_beebook.bcm diff --git a/Train_B_Book/train_1_beebook.bpo b/Train_B_Book/rodin_train/train_1_beebook.bpo similarity index 100% rename from Train_B_Book/train_1_beebook.bpo rename to Train_B_Book/rodin_train/train_1_beebook.bpo diff --git a/Train_B_Book/train_1_beebook.bpr b/Train_B_Book/rodin_train/train_1_beebook.bpr similarity index 100% rename from Train_B_Book/train_1_beebook.bpr rename to Train_B_Book/rodin_train/train_1_beebook.bpr diff --git a/Train_B_Book/train_1_beebook.bps b/Train_B_Book/rodin_train/train_1_beebook.bps similarity index 100% rename from Train_B_Book/train_1_beebook.bps rename to Train_B_Book/rodin_train/train_1_beebook.bps diff --git a/Train_B_Book/train_1_beebook.bum b/Train_B_Book/rodin_train/train_1_beebook.bum similarity index 100% rename from Train_B_Book/train_1_beebook.bum rename to Train_B_Book/rodin_train/train_1_beebook.bum diff --git a/Train_B_Book/train_1_prob.bcm b/Train_B_Book/rodin_train/train_1_prob.bcm similarity index 100% rename from Train_B_Book/train_1_prob.bcm rename to Train_B_Book/rodin_train/train_1_prob.bcm diff --git a/Train_B_Book/train_1_prob.bpo b/Train_B_Book/rodin_train/train_1_prob.bpo similarity index 100% rename from Train_B_Book/train_1_prob.bpo rename to Train_B_Book/rodin_train/train_1_prob.bpo diff --git a/Train_B_Book/train_1_prob.bpr b/Train_B_Book/rodin_train/train_1_prob.bpr similarity index 100% rename from Train_B_Book/train_1_prob.bpr rename to Train_B_Book/rodin_train/train_1_prob.bpr diff --git a/Train_B_Book/train_1_prob.bps b/Train_B_Book/rodin_train/train_1_prob.bps similarity index 100% rename from Train_B_Book/train_1_prob.bps rename to Train_B_Book/rodin_train/train_1_prob.bps diff --git a/Train_B_Book/train_1_prob.bum b/Train_B_Book/rodin_train/train_1_prob.bum similarity index 100% rename from Train_B_Book/train_1_prob.bum rename to Train_B_Book/rodin_train/train_1_prob.bum diff --git a/Train_B_Book/train_1_prob_POR.bcm b/Train_B_Book/rodin_train/train_1_prob_POR.bcm similarity index 100% rename from Train_B_Book/train_1_prob_POR.bcm rename to Train_B_Book/rodin_train/train_1_prob_POR.bcm diff --git a/Train_B_Book/train_1_prob_POR.bpo b/Train_B_Book/rodin_train/train_1_prob_POR.bpo similarity index 100% rename from Train_B_Book/train_1_prob_POR.bpo rename to Train_B_Book/rodin_train/train_1_prob_POR.bpo diff --git a/Train_B_Book/train_1_prob_POR.bpr b/Train_B_Book/rodin_train/train_1_prob_POR.bpr similarity index 100% rename from Train_B_Book/train_1_prob_POR.bpr rename to Train_B_Book/rodin_train/train_1_prob_POR.bpr diff --git a/Train_B_Book/train_1_prob_POR.bps b/Train_B_Book/rodin_train/train_1_prob_POR.bps similarity index 100% rename from Train_B_Book/train_1_prob_POR.bps rename to Train_B_Book/rodin_train/train_1_prob_POR.bps diff --git a/Train_B_Book/train_1_prob_POR.bum b/Train_B_Book/rodin_train/train_1_prob_POR.bum similarity index 100% rename from Train_B_Book/train_1_prob_POR.bum rename to Train_B_Book/rodin_train/train_1_prob_POR.bum diff --git a/Train_B_Book/train_2.bcm b/Train_B_Book/rodin_train/train_2.bcm similarity index 100% rename from Train_B_Book/train_2.bcm rename to Train_B_Book/rodin_train/train_2.bcm diff --git a/Train_B_Book/train_2.bpo b/Train_B_Book/rodin_train/train_2.bpo similarity index 100% rename from Train_B_Book/train_2.bpo rename to Train_B_Book/rodin_train/train_2.bpo diff --git a/Train_B_Book/train_2.bpr b/Train_B_Book/rodin_train/train_2.bpr similarity index 100% rename from Train_B_Book/train_2.bpr rename to Train_B_Book/rodin_train/train_2.bpr diff --git a/Train_B_Book/train_2.bps b/Train_B_Book/rodin_train/train_2.bps similarity index 100% rename from Train_B_Book/train_2.bps rename to Train_B_Book/rodin_train/train_2.bps diff --git a/Train_B_Book/train_2.bum b/Train_B_Book/rodin_train/train_2.bum similarity index 100% rename from Train_B_Book/train_2.bum rename to Train_B_Book/rodin_train/train_2.bum diff --git a/Train_B_Book/train_2_prob.bcm b/Train_B_Book/rodin_train/train_2_prob.bcm similarity index 100% rename from Train_B_Book/train_2_prob.bcm rename to Train_B_Book/rodin_train/train_2_prob.bcm diff --git a/Train_B_Book/train_2_prob.bpo b/Train_B_Book/rodin_train/train_2_prob.bpo similarity index 100% rename from Train_B_Book/train_2_prob.bpo rename to Train_B_Book/rodin_train/train_2_prob.bpo diff --git a/Train_B_Book/train_2_prob.bpr b/Train_B_Book/rodin_train/train_2_prob.bpr similarity index 100% rename from Train_B_Book/train_2_prob.bpr rename to Train_B_Book/rodin_train/train_2_prob.bpr diff --git a/Train_B_Book/train_2_prob.bps b/Train_B_Book/rodin_train/train_2_prob.bps similarity index 100% rename from Train_B_Book/train_2_prob.bps rename to Train_B_Book/rodin_train/train_2_prob.bps diff --git a/Train_B_Book/train_2_prob.bum b/Train_B_Book/rodin_train/train_2_prob.bum similarity index 100% rename from Train_B_Book/train_2_prob.bum rename to Train_B_Book/rodin_train/train_2_prob.bum diff --git a/Train_B_Book/train_3.bcm b/Train_B_Book/rodin_train/train_3.bcm similarity index 100% rename from Train_B_Book/train_3.bcm rename to Train_B_Book/rodin_train/train_3.bcm diff --git a/Train_B_Book/train_3.bpo b/Train_B_Book/rodin_train/train_3.bpo similarity index 100% rename from Train_B_Book/train_3.bpo rename to Train_B_Book/rodin_train/train_3.bpo diff --git a/Train_B_Book/train_3.bpr b/Train_B_Book/rodin_train/train_3.bpr similarity index 100% rename from Train_B_Book/train_3.bpr rename to Train_B_Book/rodin_train/train_3.bpr diff --git a/Train_B_Book/train_3.bps b/Train_B_Book/rodin_train/train_3.bps similarity index 100% rename from Train_B_Book/train_3.bps rename to Train_B_Book/rodin_train/train_3.bps diff --git a/Train_B_Book/train_3.bum b/Train_B_Book/rodin_train/train_3.bum similarity index 100% rename from Train_B_Book/train_3.bum rename to Train_B_Book/rodin_train/train_3.bum diff --git a/Train_B_Book/train_3_prob.bcm b/Train_B_Book/rodin_train/train_3_prob.bcm similarity index 100% rename from Train_B_Book/train_3_prob.bcm rename to Train_B_Book/rodin_train/train_3_prob.bcm diff --git a/Train_B_Book/train_3_prob.bpo b/Train_B_Book/rodin_train/train_3_prob.bpo similarity index 100% rename from Train_B_Book/train_3_prob.bpo rename to Train_B_Book/rodin_train/train_3_prob.bpo diff --git a/Train_B_Book/train_3_prob.bpr b/Train_B_Book/rodin_train/train_3_prob.bpr similarity index 100% rename from Train_B_Book/train_3_prob.bpr rename to Train_B_Book/rodin_train/train_3_prob.bpr diff --git a/Train_B_Book/train_3_prob.bps b/Train_B_Book/rodin_train/train_3_prob.bps similarity index 100% rename from Train_B_Book/train_3_prob.bps rename to Train_B_Book/rodin_train/train_3_prob.bps diff --git a/Train_B_Book/train_3_prob.bum b/Train_B_Book/rodin_train/train_3_prob.bum similarity index 100% rename from Train_B_Book/train_3_prob.bum rename to Train_B_Book/rodin_train/train_3_prob.bum diff --git a/Train_B_Book/train_4.bcm b/Train_B_Book/rodin_train/train_4.bcm similarity index 100% rename from Train_B_Book/train_4.bcm rename to Train_B_Book/rodin_train/train_4.bcm diff --git a/Train_B_Book/train_4.bmso b/Train_B_Book/rodin_train/train_4.bmso similarity index 100% rename from Train_B_Book/train_4.bmso rename to Train_B_Book/rodin_train/train_4.bmso diff --git a/Train_B_Book/train_4.bpo b/Train_B_Book/rodin_train/train_4.bpo similarity index 100% rename from Train_B_Book/train_4.bpo rename to Train_B_Book/rodin_train/train_4.bpo diff --git a/Train_B_Book/train_4.bpr b/Train_B_Book/rodin_train/train_4.bpr similarity index 100% rename from Train_B_Book/train_4.bpr rename to Train_B_Book/rodin_train/train_4.bpr diff --git a/Train_B_Book/train_4.bps b/Train_B_Book/rodin_train/train_4.bps similarity index 100% rename from Train_B_Book/train_4.bps rename to Train_B_Book/rodin_train/train_4.bps diff --git a/Train_B_Book/train_4.bum b/Train_B_Book/rodin_train/train_4.bum similarity index 100% rename from Train_B_Book/train_4.bum rename to Train_B_Book/rodin_train/train_4.bum diff --git a/Train_B_Book/train_4_POR.bcm b/Train_B_Book/rodin_train/train_4_POR.bcm similarity index 100% rename from Train_B_Book/train_4_POR.bcm rename to Train_B_Book/rodin_train/train_4_POR.bcm diff --git a/Train_B_Book/train_4_POR.bpo b/Train_B_Book/rodin_train/train_4_POR.bpo similarity index 100% rename from Train_B_Book/train_4_POR.bpo rename to Train_B_Book/rodin_train/train_4_POR.bpo diff --git a/Train_B_Book/train_4_POR.bpr b/Train_B_Book/rodin_train/train_4_POR.bpr similarity index 100% rename from Train_B_Book/train_4_POR.bpr rename to Train_B_Book/rodin_train/train_4_POR.bpr diff --git a/Train_B_Book/train_4_POR.bps b/Train_B_Book/rodin_train/train_4_POR.bps similarity index 100% rename from Train_B_Book/train_4_POR.bps rename to Train_B_Book/rodin_train/train_4_POR.bps diff --git a/Train_B_Book/train_4_POR.bum b/Train_B_Book/rodin_train/train_4_POR.bum similarity index 100% rename from Train_B_Book/train_4_POR.bum rename to Train_B_Book/rodin_train/train_4_POR.bum diff --git a/Train_B_Book/train_ctx0.bcc b/Train_B_Book/rodin_train/train_ctx0.bcc similarity index 100% rename from Train_B_Book/train_ctx0.bcc rename to Train_B_Book/rodin_train/train_ctx0.bcc diff --git a/Train_B_Book/train_ctx0.bpo b/Train_B_Book/rodin_train/train_ctx0.bpo similarity index 100% rename from Train_B_Book/train_ctx0.bpo rename to Train_B_Book/rodin_train/train_ctx0.bpo diff --git a/Train_B_Book/train_ctx0.bpr b/Train_B_Book/rodin_train/train_ctx0.bpr similarity index 100% rename from Train_B_Book/train_ctx0.bpr rename to Train_B_Book/rodin_train/train_ctx0.bpr diff --git a/Train_B_Book/train_ctx0.bps b/Train_B_Book/rodin_train/train_ctx0.bps similarity index 100% rename from Train_B_Book/train_ctx0.bps rename to Train_B_Book/rodin_train/train_ctx0.bps diff --git a/Train_B_Book/train_ctx0.buc b/Train_B_Book/rodin_train/train_ctx0.buc similarity index 100% rename from Train_B_Book/train_ctx0.buc rename to Train_B_Book/rodin_train/train_ctx0.buc diff --git a/Train_B_Book/train_ctx0_beebook.bcc b/Train_B_Book/rodin_train/train_ctx0_beebook.bcc similarity index 100% rename from Train_B_Book/train_ctx0_beebook.bcc rename to Train_B_Book/rodin_train/train_ctx0_beebook.bcc diff --git a/Train_B_Book/train_ctx0_beebook.bpo b/Train_B_Book/rodin_train/train_ctx0_beebook.bpo similarity index 100% rename from Train_B_Book/train_ctx0_beebook.bpo rename to Train_B_Book/rodin_train/train_ctx0_beebook.bpo diff --git a/Train_B_Book/train_ctx0_beebook.bpr b/Train_B_Book/rodin_train/train_ctx0_beebook.bpr similarity index 100% rename from Train_B_Book/train_ctx0_beebook.bpr rename to Train_B_Book/rodin_train/train_ctx0_beebook.bpr diff --git a/Train_B_Book/train_ctx0_beebook.bps b/Train_B_Book/rodin_train/train_ctx0_beebook.bps similarity index 100% rename from Train_B_Book/train_ctx0_beebook.bps rename to Train_B_Book/rodin_train/train_ctx0_beebook.bps diff --git a/Train_B_Book/train_ctx0_beebook.buc b/Train_B_Book/rodin_train/train_ctx0_beebook.buc similarity index 100% rename from Train_B_Book/train_ctx0_beebook.buc rename to Train_B_Book/rodin_train/train_ctx0_beebook.buc diff --git a/Train_B_Book/train_ctx0_prob.bcc b/Train_B_Book/rodin_train/train_ctx0_prob.bcc similarity index 100% rename from Train_B_Book/train_ctx0_prob.bcc rename to Train_B_Book/rodin_train/train_ctx0_prob.bcc diff --git a/Train_B_Book/train_ctx0_prob.bpo b/Train_B_Book/rodin_train/train_ctx0_prob.bpo similarity index 100% rename from Train_B_Book/train_ctx0_prob.bpo rename to Train_B_Book/rodin_train/train_ctx0_prob.bpo diff --git a/Train_B_Book/train_ctx0_prob.bpr b/Train_B_Book/rodin_train/train_ctx0_prob.bpr similarity index 100% rename from Train_B_Book/train_ctx0_prob.bpr rename to Train_B_Book/rodin_train/train_ctx0_prob.bpr diff --git a/Train_B_Book/train_ctx0_prob.bps b/Train_B_Book/rodin_train/train_ctx0_prob.bps similarity index 100% rename from Train_B_Book/train_ctx0_prob.bps rename to Train_B_Book/rodin_train/train_ctx0_prob.bps diff --git a/Train_B_Book/train_ctx0_prob.buc b/Train_B_Book/rodin_train/train_ctx0_prob.buc similarity index 100% rename from Train_B_Book/train_ctx0_prob.buc rename to Train_B_Book/rodin_train/train_ctx0_prob.buc diff --git a/Train_B_Book/train_ctx1.bcc b/Train_B_Book/rodin_train/train_ctx1.bcc similarity index 100% rename from Train_B_Book/train_ctx1.bcc rename to Train_B_Book/rodin_train/train_ctx1.bcc diff --git a/Train_B_Book/train_ctx1.bpo b/Train_B_Book/rodin_train/train_ctx1.bpo similarity index 100% rename from Train_B_Book/train_ctx1.bpo rename to Train_B_Book/rodin_train/train_ctx1.bpo diff --git a/Train_B_Book/train_ctx1.bpr b/Train_B_Book/rodin_train/train_ctx1.bpr similarity index 100% rename from Train_B_Book/train_ctx1.bpr rename to Train_B_Book/rodin_train/train_ctx1.bpr diff --git a/Train_B_Book/train_ctx1.bps b/Train_B_Book/rodin_train/train_ctx1.bps similarity index 100% rename from Train_B_Book/train_ctx1.bps rename to Train_B_Book/rodin_train/train_ctx1.bps diff --git a/Train_B_Book/train_ctx1.buc b/Train_B_Book/rodin_train/train_ctx1.buc similarity index 100% rename from Train_B_Book/train_ctx1.buc rename to Train_B_Book/rodin_train/train_ctx1.buc diff --git a/Train_B_Book/train_ctx1_beebook.bcc b/Train_B_Book/rodin_train/train_ctx1_beebook.bcc similarity index 100% rename from Train_B_Book/train_ctx1_beebook.bcc rename to Train_B_Book/rodin_train/train_ctx1_beebook.bcc diff --git a/Train_B_Book/train_ctx1_beebook.bpo b/Train_B_Book/rodin_train/train_ctx1_beebook.bpo similarity index 100% rename from Train_B_Book/train_ctx1_beebook.bpo rename to Train_B_Book/rodin_train/train_ctx1_beebook.bpo diff --git a/Train_B_Book/train_ctx1_beebook.bpr b/Train_B_Book/rodin_train/train_ctx1_beebook.bpr similarity index 100% rename from Train_B_Book/train_ctx1_beebook.bpr rename to Train_B_Book/rodin_train/train_ctx1_beebook.bpr diff --git a/Train_B_Book/train_ctx1_beebook.bps b/Train_B_Book/rodin_train/train_ctx1_beebook.bps similarity index 100% rename from Train_B_Book/train_ctx1_beebook.bps rename to Train_B_Book/rodin_train/train_ctx1_beebook.bps diff --git a/Train_B_Book/train_ctx1_beebook.buc b/Train_B_Book/rodin_train/train_ctx1_beebook.buc similarity index 100% rename from Train_B_Book/train_ctx1_beebook.buc rename to Train_B_Book/rodin_train/train_ctx1_beebook.buc diff --git a/Train_B_Book/train_ctx1_prob.bcc b/Train_B_Book/rodin_train/train_ctx1_prob.bcc similarity index 100% rename from Train_B_Book/train_ctx1_prob.bcc rename to Train_B_Book/rodin_train/train_ctx1_prob.bcc diff --git a/Train_B_Book/train_ctx1_prob.bpo b/Train_B_Book/rodin_train/train_ctx1_prob.bpo similarity index 100% rename from Train_B_Book/train_ctx1_prob.bpo rename to Train_B_Book/rodin_train/train_ctx1_prob.bpo diff --git a/Train_B_Book/train_ctx1_prob.bpr b/Train_B_Book/rodin_train/train_ctx1_prob.bpr similarity index 100% rename from Train_B_Book/train_ctx1_prob.bpr rename to Train_B_Book/rodin_train/train_ctx1_prob.bpr diff --git a/Train_B_Book/train_ctx1_prob.bps b/Train_B_Book/rodin_train/train_ctx1_prob.bps similarity index 100% rename from Train_B_Book/train_ctx1_prob.bps rename to Train_B_Book/rodin_train/train_ctx1_prob.bps diff --git a/Train_B_Book/train_ctx1_prob.buc b/Train_B_Book/rodin_train/train_ctx1_prob.buc similarity index 100% rename from Train_B_Book/train_ctx1_prob.buc rename to Train_B_Book/rodin_train/train_ctx1_prob.buc diff --git a/Train_B_Book/train_ctx2.bcc b/Train_B_Book/rodin_train/train_ctx2.bcc similarity index 100% rename from Train_B_Book/train_ctx2.bcc rename to Train_B_Book/rodin_train/train_ctx2.bcc diff --git a/Train_B_Book/train_ctx2.bpo b/Train_B_Book/rodin_train/train_ctx2.bpo similarity index 100% rename from Train_B_Book/train_ctx2.bpo rename to Train_B_Book/rodin_train/train_ctx2.bpo diff --git a/Train_B_Book/train_ctx2.bpr b/Train_B_Book/rodin_train/train_ctx2.bpr similarity index 100% rename from Train_B_Book/train_ctx2.bpr rename to Train_B_Book/rodin_train/train_ctx2.bpr diff --git a/Train_B_Book/train_ctx2.bps b/Train_B_Book/rodin_train/train_ctx2.bps similarity index 100% rename from Train_B_Book/train_ctx2.bps rename to Train_B_Book/rodin_train/train_ctx2.bps diff --git a/Train_B_Book/train_ctx2.buc b/Train_B_Book/rodin_train/train_ctx2.buc similarity index 100% rename from Train_B_Book/train_ctx2.buc rename to Train_B_Book/rodin_train/train_ctx2.buc diff --git a/Train_B_Book/train_ctx2_beebook.bcc b/Train_B_Book/rodin_train/train_ctx2_beebook.bcc similarity index 100% rename from Train_B_Book/train_ctx2_beebook.bcc rename to Train_B_Book/rodin_train/train_ctx2_beebook.bcc diff --git a/Train_B_Book/train_ctx2_beebook.bpo b/Train_B_Book/rodin_train/train_ctx2_beebook.bpo similarity index 100% rename from Train_B_Book/train_ctx2_beebook.bpo rename to Train_B_Book/rodin_train/train_ctx2_beebook.bpo diff --git a/Train_B_Book/train_ctx2_beebook.bpr b/Train_B_Book/rodin_train/train_ctx2_beebook.bpr similarity index 100% rename from Train_B_Book/train_ctx2_beebook.bpr rename to Train_B_Book/rodin_train/train_ctx2_beebook.bpr diff --git a/Train_B_Book/train_ctx2_beebook.bps b/Train_B_Book/rodin_train/train_ctx2_beebook.bps similarity index 100% rename from Train_B_Book/train_ctx2_beebook.bps rename to Train_B_Book/rodin_train/train_ctx2_beebook.bps diff --git a/Train_B_Book/train_ctx2_beebook.buc b/Train_B_Book/rodin_train/train_ctx2_beebook.buc similarity index 100% rename from Train_B_Book/train_ctx2_beebook.buc rename to Train_B_Book/rodin_train/train_ctx2_beebook.buc diff --git a/Train_B_Book/train_ctx2_prob.bcc b/Train_B_Book/rodin_train/train_ctx2_prob.bcc similarity index 100% rename from Train_B_Book/train_ctx2_prob.bcc rename to Train_B_Book/rodin_train/train_ctx2_prob.bcc diff --git a/Train_B_Book/train_ctx2_prob.bpo b/Train_B_Book/rodin_train/train_ctx2_prob.bpo similarity index 100% rename from Train_B_Book/train_ctx2_prob.bpo rename to Train_B_Book/rodin_train/train_ctx2_prob.bpo diff --git a/Train_B_Book/train_ctx2_prob.bpr b/Train_B_Book/rodin_train/train_ctx2_prob.bpr similarity index 100% rename from Train_B_Book/train_ctx2_prob.bpr rename to Train_B_Book/rodin_train/train_ctx2_prob.bpr diff --git a/Train_B_Book/train_ctx2_prob.bps b/Train_B_Book/rodin_train/train_ctx2_prob.bps similarity index 100% rename from Train_B_Book/train_ctx2_prob.bps rename to Train_B_Book/rodin_train/train_ctx2_prob.bps diff --git a/Train_B_Book/train_ctx2_prob.buc b/Train_B_Book/rodin_train/train_ctx2_prob.buc similarity index 100% rename from Train_B_Book/train_ctx2_prob.buc rename to Train_B_Book/rodin_train/train_ctx2_prob.buc diff --git a/Train_B_Book/train_1_beebook.prob2project b/Train_B_Book/train_1_beebook.prob2project index 0db121d..229cba8 100644 --- a/Train_B_Book/train_1_beebook.prob2project +++ b/Train_B_Book/train_1_beebook.prob2project @@ -5,7 +5,7 @@ { "name": "train_1_beebook", "description": "", - "location": "train_1_beebook.bum", + "location": "rodin_train/train_1_beebook.bum", "lastUsedPreferenceName": "default", "requirements": [], "ltlFormulas": [], @@ -23,7 +23,7 @@ { "name": "train_4_POR", "description": "", - "location": "train_4_POR.bum", + "location": "rodin_train/train_4_POR.bum", "lastUsedPreferenceName": "default", "requirements": [], "ltlFormulas": [], -- GitLab