Skip to content

Change definition of completion

Sergey Bozhkorequested to merge
sbozhko/rt-proofs:fix-def-of-completion into master

Now we have the monotone def. of completion job_cost j <= service j t

Merge request reports