util/supremum.v · 5de5b522bbfa8facc82f7a707a6bfa95a9d5695f · 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
5de5b522
add a function for computing a sequence's supremum · 5de5b522
Björn Brandenburg authored 5 years ago
```
spell checker: add 'supremum' to dictionary
```
5de5b522

History
add a function for computing a sequence's supremum
Björn Brandenburg authored 5 years ago
```
spell checker: add 'supremum' to dictionary
```