1. 25 Sep, 2020 1 commit
  2. 23 Sep, 2020 1 commit
    • Sergey Bozhko's avatar
      Add [arrives_in] to [sequential_tasks] definition · 33a48458
      Sergey Bozhko authored
      Note that the prior definition of [sequential_tasks]
      did not differentiate between a job coming from the
      arrival sequence and any other job. However, all
      computable properties (such as [job_respects_task_rtc,
      valid_preemption_model, arrivals_have_valid_job_costs,
      all_deadlines_of_arrivals_met]) are stated exclusively
      for jobs from the arrival sequence. In order to make
      the definition of [sequential_tasks] compatible with
      computable properties, we add preconditions
      [arrives_in arr_seq j1] and [arrives_in arr_seq j2].
      33a48458
  3. 22 Sep, 2020 7 commits
  4. 09 Sep, 2020 4 commits
  5. 28 Aug, 2020 2 commits
  6. 27 Aug, 2020 1 commit
  7. 10 Aug, 2020 4 commits
  8. 06 Aug, 2020 1 commit
  9. 05 Aug, 2020 6 commits
  10. 04 Aug, 2020 4 commits
  11. 30 Jul, 2020 1 commit
  12. 09 Jul, 2020 4 commits
  13. 08 Jul, 2020 4 commits