Working on Guan workload bounds

Makefile

@@ -14,7 +14,7 @@
 
 #
 # This Makefile was generated by the command line :
-# coq_makefile BertognaResponseTimeDefsEDF.v BertognaResponseTimeDefsJitter.v BertognaResponseTimeDefs.v BertognaResponseTimeEDFComp.v BertognaResponseTimeFPJitter.v BertognaResponseTimeFP.v divround.v extralib.v ExtraRelations.v helper.v JobDefs.v PlatformDefs.v PriorityDefs.v ResponseTimeDefs.v SchedulabilityDefs.v ScheduleDefs.v ssromega.v TaskArrivalDefs.v TaskDefs.v Vbase.v WorkloadDefsJitter.v WorkloadDefs.v 
+# coq_makefile BertognaResponseTimeDefsEDF.v BertognaResponseTimeDefsJitter.v BertognaResponseTimeDefs.v BertognaResponseTimeEDFComp.v BertognaResponseTimeFPJitter.v BertognaResponseTimeFP.v divround.v extralib.v ExtraRelations.v GuanDefs.v GuanFP.v helper.v JobDefs.v PlatformDefs.v PriorityDefs.v ResponseTimeDefs.v SchedulabilityDefs.v ScheduleDefs.v ssromega.v TaskArrivalDefs.v TaskDefs.v Vbase.v WorkloadDefsJitter.v WorkloadDefs.v 
 #
 
 .DEFAULT_GOAL := all
@@ -89,6 +89,8 @@ VFILES:=BertognaResponseTimeDefsEDF.v\
   divround.v\
   extralib.v\
   ExtraRelations.v\
+  GuanDefs.v\
+  GuanFP.v\
   helper.v\
   JobDefs.v\
   PlatformDefs.v\