clean up the new schedule definitions (!27) · Merge requests · RT-PROOFS / PROSA - Formally Proven Schedulability Analysis

Merged Björn Brandenburg requested to merge cleanup-schedule-defs into master 5 years ago

Jun 26, 2019
- simplify structure of behavior, move arrival_sequence and schedule to... · 03863f8f
  Maxime Lesourd authored 5 years ago
  
  simplify structure of behavior, move arrival_sequence and schedule to toplevel, move task and sequential to model
  03863f8f
Jun 25, 2019
- clean up the new schedule definitions · 37121eb7
  Björn Brandenburg authored 5 years ago
  
  - Consistently use JobType rather than eqType directly. - Fix the comments style.
  37121eb7

clean up the new schedule definitions