Skip to content
Snippets Groups Projects
  1. Oct 06, 2021
    • Björn Brandenburg's avatar
      CI: explicitly trigger recompilation in axiom check · c760b1a3
      Björn Brandenburg authored
      Due to whatever the CI environment does to cache and restore
      intermediate result files, somehow `make validate` triggers some
      spurious recompilation. To avoid confusing the checking script,
      trigger any possible re-compilation steps before capturing the output
      of `make validate`.
      c760b1a3
  2. Oct 05, 2021
  3. Oct 04, 2021
  4. Sep 30, 2021
    • Sergey Bozhko's avatar
      relax assumption in aRTA · 29556ed5
      Sergey Bozhko authored
      Currently, aRTA required [F] to be solution of equation
      [A + F = task_rtct + IBF A (A + F)], this commit relaxes
      this assumption to [A + F >= task_rtct + IBF A (A + F)]
      29556ed5
  5. Sep 29, 2021
  6. Sep 27, 2021
  7. Sep 22, 2021
  8. Sep 17, 2021
  9. Sep 16, 2021
  10. Sep 15, 2021
  11. Sep 11, 2021
  12. Sep 08, 2021
  13. Jul 30, 2021
  14. Jul 27, 2021
  15. Jul 26, 2021
  16. Jul 19, 2021
  17. Mar 18, 2021
  18. Mar 11, 2021
    • LailaElbeheiry's avatar
      add proof of equivalence of EDF definitions · 271464a5
      LailaElbeheiry authored and Björn Brandenburg's avatar Björn Brandenburg committed
      This commit connects the two ways with which one can specify that a
      schedule is an EDF schedule in PROSA: the `EDF_schedule` predicate
      and the `respects_policy_at_preemption_point` with the EDF priority
      policy predicate. We connect these two definitions by showing that
      they're equivalent. We then restate the optimality proof of EDF
      schedules using the proven equivalence.
      271464a5
Loading