1. 01 Sep, 2022 1 commit
  2. 29 Aug, 2022 1 commit
  3. 25 Aug, 2022 1 commit
  4. 18 Aug, 2022 1 commit
  5. 10 Aug, 2022 2 commits
  6. 08 Aug, 2022 1 commit
  7. 04 Aug, 2022 1 commit
  8. 01 Aug, 2022 4 commits
  9. 28 Jul, 2022 3 commits
  10. 25 Jul, 2022 4 commits
  11. 21 Jul, 2022 7 commits
  12. 19 Jul, 2022 1 commit
    • Kimaya Bedarkar's avatar
      simplify GEL definition · 0a7dfe12
      Kimaya Bedarkar authored and Björn Brandenburg's avatar Björn Brandenburg committed
      * GEL priority policy has been renamed from `GEL_priority` to `GEL` in keeping with the current convention
      * Fixed one typo in the title
      * Simplified one proof
      0a7dfe12
  13. 14 Jul, 2022 6 commits
  14. 11 Jul, 2022 4 commits
  15. 06 Jul, 2022 1 commit
  16. 01 Jul, 2022 2 commits
    • Marco Maida's avatar
      add concrete job constructor · 3607c290
      Marco Maida authored and Björn Brandenburg's avatar Björn Brandenburg committed
      This patch adds the definitions and lemmas of a concrete job-generation
      function in pair with the concrete arrival sequence. These building
      blocks sit at the basis of POET's assumption-less examples, used to
      prove the absence of contradicting hypotheses in abstract RTA and the
      certificates.
      
      Additionally, it adds some helper functions and a class instance that
      were missing in the concrete task files (`MaxArrivals`).
      3607c290
    • Björn Brandenburg's avatar
      update license, silence opam warning · 593e348f
      Björn Brandenburg authored
      593e348f