restructuring/model/preemption/preemptive.v · 572c699b62acd357e23b276c205d30cc74ca0220 · Lasse Blaauwbroek / PROSA - Formally Proven Schedulability Analysis · GitLab

Snippets Groups Projects

Forked from RT-PROOFS / PROSA - Formally Proven Schedulability Analysis

Source project has a limited visibility.

5 years ago
572c699b
model reorg: move preemption.valid_schedule -> schedule.limited_preemptive · 572c699b
Björn Brandenburg authored 5 years ago
```
All "kinds of schedules" and associated validity conditions are being
collected in model.schedule.
```
572c699b

History
model reorg: move preemption.valid_schedule -> schedule.limited_preemptive
Björn Brandenburg authored 5 years ago
```
All "kinds of schedules" and associated validity conditions are being
collected in model.schedule.
```