Moved sequential to schedule

7a9c7cbf · Maxime Lesourd · Björn Brandenburg · a03c73df · 7a9c7cbf · 7a9c7cbf
Commit 7a9c7cbf authored May 24, 2019 by Maxime Lesourd Committed by Björn Brandenburg Jun 05, 2019
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 2 deletions

behavior/facts/sequential.v behavior/facts/sequential.v +1 -2

behavior/schedule/sequential.v behavior/schedule/sequential.v +0 -0

No files found.
--- a/behavior/facts/sequential.v
+++ b/behavior/facts/sequential.v
-From rt.behavior Require Export sequential.
+From rt.behavior Require Export schedule.sequential.

 Section ExecutionOrder.
  (* Consider any type of job associated with any type of tasks... *)
@@ -39,4 +39,3 @@ Section ExecutionOrder.
  Qed.

 End ExecutionOrder.
-
--- a/behavior/sequential.v
+++ b/behavior/sequential.v