Commit 01a8082a authored by Felipe Cerqueira's avatar Felipe Cerqueira

Add EDF theory file

parent 16380315
This diff is collapsed.
......@@ -14,7 +14,7 @@
#
# This Makefile was generated by the command line :
# coq_makefile apa.v BertognaResponseTimeDefsJitter.v BertognaResponseTimeDefs.v BertognaResponseTimeFPJitter.v BertognaResponseTimeFP.v divround.v eqtask_dec.v eqtaskjitter_dec.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 apa.v BertognaResponseTimeDefsEDF.v BertognaResponseTimeDefsJitter.v BertognaResponseTimeDefs.v BertognaResponseTimeFPJitter.v BertognaResponseTimeFP.v divround.v eqtask_dec.v eqtaskjitter_dec.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
#
.DEFAULT_GOAL := all
......@@ -80,7 +80,8 @@ endif
# #
######################
VFILES:=BertognaResponseTimeDefsJitter.v\
VFILES:=BertognaResponseTimeDefsEDF.v\
BertognaResponseTimeDefsJitter.v\
BertognaResponseTimeDefs.v\
BertognaResponseTimeFPJitter.v\
BertognaResponseTimeFP.v\
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment