restructuring/analysis/basic_facts/sequential.v · 4e9768b174d126acd880472d5d6a10703d859092 · 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
4e9768b1
model reorg: task.sequential -> task.sequentiality · 4e9768b1
Björn Brandenburg authored 5 years ago
```
The property is a noun: a model of task sequentiality.
```
4e9768b1

History
model reorg: task.sequential -> task.sequentiality
Björn Brandenburg authored 5 years ago
```
The property is a noun: a model of task sequentiality.
```