Skip to content

Draft: Definition of ELF

Meenal Guptarequested to merge
RTS/prosa-internships-2023:ELFDef into master

Definition of ELF scheduling policy, along with helper lemmas for the required proofs.

Merge request reports