Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
Menu
Open sidebar
Xiaojie Guo
rt-proofs
Commits
958bd3a5
Commit
958bd3a5
authored
Jan 08, 2016
by
Felipe Cerqueira
Browse files
Fix comment
parent
1467b2e6
Changes
1
Hide whitespace changes
Inline
Side-by-side
bertogna_fp_comp.v
View file @
958bd3a5
...
...
@@ -622,7 +622,7 @@ Module ResponseTimeIterationFP.
Hypothesis
H_completed_jobs_dont_execute
:
completed_jobs_dont_execute
job_cost
rate
sched
.
(* ...and do not execute in parallel. *)
(* ...and do not execute in parallel
(required by the workload bound)
. *)
Hypothesis
H_no_parallelism
:
jobs_dont_execute_in_parallel
sched
.
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment