restructuring/analysis/basic_facts/preemption/rtc_threshold/preemptive.v · 540acffde3073de638d4e42ee8590ef4b115a3dc · 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
540acffd
model reorg: fold RTCT validity into task.preemption.parameters · 540acffd
Björn Brandenburg authored 5 years ago
```
No need to keep the two separate as they are tightly coupled anyway,
and the joint file doesn't become too long.
```
540acffd

History
model reorg: fold RTCT validity into task.preemption.parameters
Björn Brandenburg authored 5 years ago
```
No need to keep the two separate as they are tightly coupled anyway,
and the joint file doesn't become too long.
```