From e79695db89507a6ae02d5319bc20a0d8c21aadf3 Mon Sep 17 00:00:00 2001
From: "Giammarco, Kristin M" <kmgiamma@nps.edu>
Date: Thu, 17 Jun 2021 11:03:00 +0000
Subject: [PATCH] Moved application examples into new folder

---
 Authentication.mp => Application_examples/Authentication.mp       | 0
 Autonomous_Car.mp => Application_examples/Autonomous_Car.mp       | 0
 .../Beginner_Use_of_MP.mp                                         | 0
 CargoScreening.mp => Application_examples/CargoScreening.mp       | 0
 Commercial_Flight => Application_examples/Commercial_Flight       | 0
 Cycle_Pattern.mp => Application_examples/Cycle_Pattern.mp         | 0
 .../Dining_Philosophers.mp                                        | 0
 Elevator.mp => Application_examples/Elevator.mp                   | 0
 FindAdvisor.mp => Application_examples/FindAdvisor.mp             | 0
 First_Responder.mp => Application_examples/First_Responder.mp     | 0
 .../Knapsack_Weight_Limit.mp                                      | 0
 .../MP_Architecture_Specification.mp                              | 0
 .../Manufacturing_Process.mp                                      | 0
 Martian_Lander.mp => Application_examples/Martian_Lander.mp       | 0
 Prisoners_Dilemma.mp => Application_examples/Prisoners_Dilemma.mp | 0
 .../Railroad_Crossing_Safety.mp                                   | 0
 Replay_Attack.mp => Application_examples/Replay_Attack.mp         | 0
 .../Small_Package_Delivery.mp                                     | 0
 .../Spent_Fuel_Cooling_and_Cleanup.mp                             | 0
 .../Spiral_Software_Process                                       | 0
 Surgery.mp => Application_examples/Surgery.mp                     | 0
 .../Swarm_Search_and_Track.mp                                     | 0
 Swarm_UAV.mp => Application_examples/Swarm_UAV.mp                 | 0
 .../Turtles_in_the_Desert.mp                                      | 0
 UAV_Ingress.mp => Application_examples/UAV_Ingress.mp             | 0
 UAV_OnStation.mp => Application_examples/UAV_OnStation.mp         | 0
 .../Unmanned_Spacecraft_Comms.mp                                  | 0
 .../Web_Browser_Formal_Security.mp                                | 0
 .../Wide_Range_Search_for_Wreckage_and_Survivors                  | 0
 Work_Productivity.mp => Application_examples/Work_Productivity.mp | 0
 30 files changed, 0 insertions(+), 0 deletions(-)
 rename Authentication.mp => Application_examples/Authentication.mp (100%)
 rename Autonomous_Car.mp => Application_examples/Autonomous_Car.mp (100%)
 rename Beginner_Use_of_MP.mp => Application_examples/Beginner_Use_of_MP.mp (100%)
 rename CargoScreening.mp => Application_examples/CargoScreening.mp (100%)
 rename Commercial_Flight => Application_examples/Commercial_Flight (100%)
 rename Cycle_Pattern.mp => Application_examples/Cycle_Pattern.mp (100%)
 rename Dining_Philosophers.mp => Application_examples/Dining_Philosophers.mp (100%)
 rename Elevator.mp => Application_examples/Elevator.mp (100%)
 rename FindAdvisor.mp => Application_examples/FindAdvisor.mp (100%)
 rename First_Responder.mp => Application_examples/First_Responder.mp (100%)
 rename Knapsack_Weight_Limit.mp => Application_examples/Knapsack_Weight_Limit.mp (100%)
 rename MP_Architecture_Specification.mp => Application_examples/MP_Architecture_Specification.mp (100%)
 rename Manufacturing_Process.mp => Application_examples/Manufacturing_Process.mp (100%)
 rename Martian_Lander.mp => Application_examples/Martian_Lander.mp (100%)
 rename Prisoners_Dilemma.mp => Application_examples/Prisoners_Dilemma.mp (100%)
 rename Railroad_Crossing_Safety.mp => Application_examples/Railroad_Crossing_Safety.mp (100%)
 rename Replay_Attack.mp => Application_examples/Replay_Attack.mp (100%)
 rename Small_Package_Delivery.mp => Application_examples/Small_Package_Delivery.mp (100%)
 rename Spent_Fuel_Cooling_and_Cleanup.mp => Application_examples/Spent_Fuel_Cooling_and_Cleanup.mp (100%)
 rename Spiral_Software_Process => Application_examples/Spiral_Software_Process (100%)
 rename Surgery.mp => Application_examples/Surgery.mp (100%)
 rename Swarm_Search_and_Track.mp => Application_examples/Swarm_Search_and_Track.mp (100%)
 rename Swarm_UAV.mp => Application_examples/Swarm_UAV.mp (100%)
 rename Turtles_in_the_Desert.mp => Application_examples/Turtles_in_the_Desert.mp (100%)
 rename UAV_Ingress.mp => Application_examples/UAV_Ingress.mp (100%)
 rename UAV_OnStation.mp => Application_examples/UAV_OnStation.mp (100%)
 rename Unmanned_Spacecraft_Comms.mp => Application_examples/Unmanned_Spacecraft_Comms.mp (100%)
 rename Web_Browser_Formal_Security.mp => Application_examples/Web_Browser_Formal_Security.mp (100%)
 rename Wide_Range_Search_for_Wreckage_and_Survivors => Application_examples/Wide_Range_Search_for_Wreckage_and_Survivors (100%)
 rename Work_Productivity.mp => Application_examples/Work_Productivity.mp (100%)

diff --git a/Authentication.mp b/Application_examples/Authentication.mp
similarity index 100%
rename from Authentication.mp
rename to Application_examples/Authentication.mp
diff --git a/Autonomous_Car.mp b/Application_examples/Autonomous_Car.mp
similarity index 100%
rename from Autonomous_Car.mp
rename to Application_examples/Autonomous_Car.mp
diff --git a/Beginner_Use_of_MP.mp b/Application_examples/Beginner_Use_of_MP.mp
similarity index 100%
rename from Beginner_Use_of_MP.mp
rename to Application_examples/Beginner_Use_of_MP.mp
diff --git a/CargoScreening.mp b/Application_examples/CargoScreening.mp
similarity index 100%
rename from CargoScreening.mp
rename to Application_examples/CargoScreening.mp
diff --git a/Commercial_Flight b/Application_examples/Commercial_Flight
similarity index 100%
rename from Commercial_Flight
rename to Application_examples/Commercial_Flight
diff --git a/Cycle_Pattern.mp b/Application_examples/Cycle_Pattern.mp
similarity index 100%
rename from Cycle_Pattern.mp
rename to Application_examples/Cycle_Pattern.mp
diff --git a/Dining_Philosophers.mp b/Application_examples/Dining_Philosophers.mp
similarity index 100%
rename from Dining_Philosophers.mp
rename to Application_examples/Dining_Philosophers.mp
diff --git a/Elevator.mp b/Application_examples/Elevator.mp
similarity index 100%
rename from Elevator.mp
rename to Application_examples/Elevator.mp
diff --git a/FindAdvisor.mp b/Application_examples/FindAdvisor.mp
similarity index 100%
rename from FindAdvisor.mp
rename to Application_examples/FindAdvisor.mp
diff --git a/First_Responder.mp b/Application_examples/First_Responder.mp
similarity index 100%
rename from First_Responder.mp
rename to Application_examples/First_Responder.mp
diff --git a/Knapsack_Weight_Limit.mp b/Application_examples/Knapsack_Weight_Limit.mp
similarity index 100%
rename from Knapsack_Weight_Limit.mp
rename to Application_examples/Knapsack_Weight_Limit.mp
diff --git a/MP_Architecture_Specification.mp b/Application_examples/MP_Architecture_Specification.mp
similarity index 100%
rename from MP_Architecture_Specification.mp
rename to Application_examples/MP_Architecture_Specification.mp
diff --git a/Manufacturing_Process.mp b/Application_examples/Manufacturing_Process.mp
similarity index 100%
rename from Manufacturing_Process.mp
rename to Application_examples/Manufacturing_Process.mp
diff --git a/Martian_Lander.mp b/Application_examples/Martian_Lander.mp
similarity index 100%
rename from Martian_Lander.mp
rename to Application_examples/Martian_Lander.mp
diff --git a/Prisoners_Dilemma.mp b/Application_examples/Prisoners_Dilemma.mp
similarity index 100%
rename from Prisoners_Dilemma.mp
rename to Application_examples/Prisoners_Dilemma.mp
diff --git a/Railroad_Crossing_Safety.mp b/Application_examples/Railroad_Crossing_Safety.mp
similarity index 100%
rename from Railroad_Crossing_Safety.mp
rename to Application_examples/Railroad_Crossing_Safety.mp
diff --git a/Replay_Attack.mp b/Application_examples/Replay_Attack.mp
similarity index 100%
rename from Replay_Attack.mp
rename to Application_examples/Replay_Attack.mp
diff --git a/Small_Package_Delivery.mp b/Application_examples/Small_Package_Delivery.mp
similarity index 100%
rename from Small_Package_Delivery.mp
rename to Application_examples/Small_Package_Delivery.mp
diff --git a/Spent_Fuel_Cooling_and_Cleanup.mp b/Application_examples/Spent_Fuel_Cooling_and_Cleanup.mp
similarity index 100%
rename from Spent_Fuel_Cooling_and_Cleanup.mp
rename to Application_examples/Spent_Fuel_Cooling_and_Cleanup.mp
diff --git a/Spiral_Software_Process b/Application_examples/Spiral_Software_Process
similarity index 100%
rename from Spiral_Software_Process
rename to Application_examples/Spiral_Software_Process
diff --git a/Surgery.mp b/Application_examples/Surgery.mp
similarity index 100%
rename from Surgery.mp
rename to Application_examples/Surgery.mp
diff --git a/Swarm_Search_and_Track.mp b/Application_examples/Swarm_Search_and_Track.mp
similarity index 100%
rename from Swarm_Search_and_Track.mp
rename to Application_examples/Swarm_Search_and_Track.mp
diff --git a/Swarm_UAV.mp b/Application_examples/Swarm_UAV.mp
similarity index 100%
rename from Swarm_UAV.mp
rename to Application_examples/Swarm_UAV.mp
diff --git a/Turtles_in_the_Desert.mp b/Application_examples/Turtles_in_the_Desert.mp
similarity index 100%
rename from Turtles_in_the_Desert.mp
rename to Application_examples/Turtles_in_the_Desert.mp
diff --git a/UAV_Ingress.mp b/Application_examples/UAV_Ingress.mp
similarity index 100%
rename from UAV_Ingress.mp
rename to Application_examples/UAV_Ingress.mp
diff --git a/UAV_OnStation.mp b/Application_examples/UAV_OnStation.mp
similarity index 100%
rename from UAV_OnStation.mp
rename to Application_examples/UAV_OnStation.mp
diff --git a/Unmanned_Spacecraft_Comms.mp b/Application_examples/Unmanned_Spacecraft_Comms.mp
similarity index 100%
rename from Unmanned_Spacecraft_Comms.mp
rename to Application_examples/Unmanned_Spacecraft_Comms.mp
diff --git a/Web_Browser_Formal_Security.mp b/Application_examples/Web_Browser_Formal_Security.mp
similarity index 100%
rename from Web_Browser_Formal_Security.mp
rename to Application_examples/Web_Browser_Formal_Security.mp
diff --git a/Wide_Range_Search_for_Wreckage_and_Survivors b/Application_examples/Wide_Range_Search_for_Wreckage_and_Survivors
similarity index 100%
rename from Wide_Range_Search_for_Wreckage_and_Survivors
rename to Application_examples/Wide_Range_Search_for_Wreckage_and_Survivors
diff --git a/Work_Productivity.mp b/Application_examples/Work_Productivity.mp
similarity index 100%
rename from Work_Productivity.mp
rename to Application_examples/Work_Productivity.mp
-- 
GitLab