From 71a612c50b2ac60af2da98916554677702fadeaa Mon Sep 17 00:00:00 2001
From: gforney <gforney@gmail.com>
Date: Wed, 3 Jun 2026 09:21:48 -0400
Subject: [PATCH] scripts: move likely unused scripts to a DEPRECATED directory

---
 Verification/scripts/{ => DEPRECATED}/FDSCases.bat        | 0
 Verification/scripts/{ => DEPRECATED}/MakeFDSPictures.bat | 0
 Verification/scripts/{ => DEPRECATED}/MakeSmvPictures.bat | 0
 Verification/scripts/{ => DEPRECATED}/RunFDSCases.bat     | 0
 Verification/scripts/{ => DEPRECATED}/RunSmvCases.bat     | 0
 Verification/scripts/{ => DEPRECATED}/SmvCases.bat        | 0
 Verification/scripts/{ => DEPRECATED}/background.bat      | 0
 7 files changed, 0 insertions(+), 0 deletions(-)
 rename Verification/scripts/{ => DEPRECATED}/FDSCases.bat (100%)
 rename Verification/scripts/{ => DEPRECATED}/MakeFDSPictures.bat (100%)
 rename Verification/scripts/{ => DEPRECATED}/MakeSmvPictures.bat (100%)
 rename Verification/scripts/{ => DEPRECATED}/RunFDSCases.bat (100%)
 rename Verification/scripts/{ => DEPRECATED}/RunSmvCases.bat (100%)
 rename Verification/scripts/{ => DEPRECATED}/SmvCases.bat (100%)
 rename Verification/scripts/{ => DEPRECATED}/background.bat (100%)

diff --git a/Verification/scripts/FDSCases.bat b/Verification/scripts/DEPRECATED/FDSCases.bat
similarity index 100%
rename from Verification/scripts/FDSCases.bat
rename to Verification/scripts/DEPRECATED/FDSCases.bat
diff --git a/Verification/scripts/MakeFDSPictures.bat b/Verification/scripts/DEPRECATED/MakeFDSPictures.bat
similarity index 100%
rename from Verification/scripts/MakeFDSPictures.bat
rename to Verification/scripts/DEPRECATED/MakeFDSPictures.bat
diff --git a/Verification/scripts/MakeSmvPictures.bat b/Verification/scripts/DEPRECATED/MakeSmvPictures.bat
similarity index 100%
rename from Verification/scripts/MakeSmvPictures.bat
rename to Verification/scripts/DEPRECATED/MakeSmvPictures.bat
diff --git a/Verification/scripts/RunFDSCases.bat b/Verification/scripts/DEPRECATED/RunFDSCases.bat
similarity index 100%
rename from Verification/scripts/RunFDSCases.bat
rename to Verification/scripts/DEPRECATED/RunFDSCases.bat
diff --git a/Verification/scripts/RunSmvCases.bat b/Verification/scripts/DEPRECATED/RunSmvCases.bat
similarity index 100%
rename from Verification/scripts/RunSmvCases.bat
rename to Verification/scripts/DEPRECATED/RunSmvCases.bat
diff --git a/Verification/scripts/SmvCases.bat b/Verification/scripts/DEPRECATED/SmvCases.bat
similarity index 100%
rename from Verification/scripts/SmvCases.bat
rename to Verification/scripts/DEPRECATED/SmvCases.bat
diff --git a/Verification/scripts/background.bat b/Verification/scripts/DEPRECATED/background.bat
similarity index 100%
rename from Verification/scripts/background.bat
rename to Verification/scripts/DEPRECATED/background.bat