restructuring/model/task/preemption/floating_nonpreemptive.v · 12b573c3239f630f6d12e357ab0b11049aee9374 · 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
12b573c3
remove task dependency in job limited-preemptive preemption model · 12b573c3
Björn Brandenburg authored 5 years ago
```
Job-level definitions should not depend on task-related modules.
```
12b573c3

History
remove task dependency in job limited-preemptive preemption model
Björn Brandenburg authored 5 years ago
```
Job-level definitions should not depend on task-related modules.
```