Make resources explicit in ProcessorState (!54) · Merge requests · RT-PROOFS / PROSA - Formally Proven Schedulability Analysis

Merged Maxime Lesourd requested to merge resources_v2 into master 5 years ago

Oct 31, 2019
- update comment: Resource -> Core · 586406c4
  Björn Brandenburg authored 5 years ago
  
  586406c4
Oct 29, 2019
- documentation improvements · f63ff2ca
  Björn Brandenburg authored 5 years ago
  
  f63ff2ca
- rename basic structure lemmas about ideal schedules · 0bec2e15
  Björn Brandenburg authored 5 years ago
  
  0bec2e15
- rename Resource -> Core and add documentation · e8040e68
  Björn Brandenburg authored 5 years ago
  
  e8040e68
- tweak proof formatting · 38c40d42
  Björn Brandenburg authored 5 years ago
  
  to get past the proof-length checker for now
  38c40d42
- Make resources explicit in processor state · 481471a1
  Maxime Lesourd authored 5 years ago and Björn Brandenburg committed 5 years ago
  
  481471a1

Make resources explicit in ProcessorState