restructuring/analysis/facts/readiness/basic.v · 2e9c8416dd07baf7648a8e75cf444a4496388e94 · RT-PROOFS / PROSA - Formally Proven Schedulability Analysis · GitLab

Snippets Groups Projects

5 years ago
e4a83b3a
fix dependency of basic readiness model on analysis facts · e4a83b3a
Björn Brandenburg authored 5 years ago
```
Move proof of readiness model property to analysis module.
```
e4a83b3a

History
fix dependency of basic readiness model on analysis facts
Björn Brandenburg authored 5 years ago
```
Move proof of readiness model property to analysis module.
```