1. 24 Jul, 2019 1 commit
  2. 19 Jul, 2019 1 commit
    • Maxime Lesourd's avatar
      port definitions for arrival curves · b9d255ec
      Maxime Lesourd authored
      This is a port (+additions) of the definitions and semantics for arrival curves (model/arrival/curves.v). As a prerequisite, this includes definitions about activations of a task (model/task_arrivals.v).
      
      Two additional definitions which were not found in the original library but will be useful to us in the future:
      
      * in schedule.v : completes_at
      * in task_arrivals.v : arrivals_come_from_taskset
      b9d255ec
  3. 02 Jul, 2019 2 commits
  4. 27 Jun, 2019 1 commit
  5. 26 Jun, 2019 1 commit
  6. 25 Jun, 2019 1 commit
  7. 12 Jun, 2019 3 commits
  8. 05 Jun, 2019 17 commits
  9. 26 May, 2019 1 commit
  10. 19 May, 2019 1 commit
  11. 16 May, 2019 10 commits
  12. 13 May, 2019 1 commit