1. 17 Sep, 2019 4 commits
  2. 30 Aug, 2019 3 commits
  3. 23 Aug, 2019 10 commits
  4. 21 Aug, 2019 1 commit
  5. 20 Aug, 2019 2 commits
  6. 13 Aug, 2019 11 commits
  7. 24 Jul, 2019 1 commit
  8. 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
  9. 02 Jul, 2019 2 commits
  10. 27 Jun, 2019 1 commit
  11. 26 Jun, 2019 1 commit
  12. 25 Jun, 2019 1 commit
  13. 12 Jun, 2019 2 commits