restructuring/model/preemption/preemptive.v · ff11905727b2e92598e1ff2fbc94e32e097e9788 · 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
ff119057
fix dependency of preemption model on analysis facts · ff119057
Björn Brandenburg authored 5 years ago
```
By our newly adopted convention, the model/ module should not depend on analysis facts.
```
ff119057

History
fix dependency of preemption model on analysis facts
Björn Brandenburg authored 5 years ago
```
By our newly adopted convention, the model/ module should not depend on analysis facts.
```