Make instances of most type classes local (!205) · Merge requests · RT-PROOFS / PROSA - Formally Proven Schedulability Analysis · GitLab

Snippets Groups Projects

Merged Pierre Roux requested to merge ideal_local_instance into master 3 years ago

Mar 25, 2022
- import and comment tweaks in results & analysis · 6c4a4aee
  Björn Brandenburg authored 3 years ago
  
  6c4a4aee
- streamline some imports in the results module · 68879f53
  Björn Brandenburg authored 3 years ago
  
  68879f53
- make the limited-preemptive job model a local instance · 2f5fe6a2
  Björn Brandenburg authored 3 years ago
  
  2f5fe6a2
- make the non-preemptive job model a local instance · 361565a4
  Björn Brandenburg authored 3 years ago
  
  361565a4
- disambiguate `fully_preemptive_job_model` · a845e88c
  Björn Brandenburg authored 3 years ago
  
  a845e88c
- disambiguate preemption model and RTC threshold instances · ff88d776
  Björn Brandenburg authored 3 years ago
  
  ff88d776
- Make the floating preemptive model hypothesis more explicit · 608eb93b
  Pierre Roux authored 3 years ago and Björn Brandenburg committed 3 years ago
  
  608eb93b
- Make the limited_preemptive mode hypothesis more explicit · fe966f9b
  Pierre Roux authored 3 years ago and Björn Brandenburg committed 3 years ago
  
  fe966f9b
- Make the fully nonpreemptive model hypothesis more explicit · a16befa1
  Pierre Roux authored 3 years ago and Björn Brandenburg committed 3 years ago
  
  a16befa1
- Make the fully preemptive model hypothesis more explicit · 3c3eb2b2
  Pierre Roux authored 3 years ago and Björn Brandenburg committed 3 years ago
  
  3c3eb2b2
- Remove suspension readiness Global Instance · 3680cb8d
  Pierre Roux authored 3 years ago and Björn Brandenburg committed 3 years ago
  
  3680cb8d
- Remove sequential readiness Global Instance · 8f68244f
  Pierre Roux authored 3 years ago and Björn Brandenburg committed 3 years ago
  
  8f68244f
- Remove jitter readiness Global Instance · 4eeed561
  Pierre Roux authored 3 years ago and Björn Brandenburg committed 3 years ago
  
  4eeed561
- Make the basic readiness hypothesis more explicit · 88c38752
  Pierre Roux authored 3 years ago and Björn Brandenburg committed 3 years ago
  
  88c38752
- Remove multiprocessor Global Instance · c54d338a
  Pierre Roux authored 3 years ago and Björn Brandenburg committed 3 years ago
  
  c54d338a
- Remove var. speed processor model Global Instance · a7cf82f7
  Pierre Roux authored 3 years ago and Björn Brandenburg committed 3 years ago
  
  a7cf82f7
- Remove spin processor model Global Instance · c1a5a957
  Pierre Roux authored 3 years ago and Björn Brandenburg committed 3 years ago
  
  c1a5a957
Mar 24, 2022
- Remove unused Requires · bf041432
  Pierre Roux authored 3 years ago and Björn Brandenburg committed 3 years ago
  
  bf041432
- Make the ideal uniprocessor hypothesis more explicit · 7a76c6ca
  Pierre Roux authored 3 years ago and Björn Brandenburg committed 3 years ago
  
  7a76c6ca