_CoqProject · 1ef392cc02a6da811cacc82c4b6535416b8cc2f6 · Lasse Blaauwbroek / PROSA - Formally Proven Schedulability Analysis · GitLab

Snippets Groups Projects

Forked from RT-PROOFS / PROSA - Formally Proven Schedulability Analysis

454 commits behind the upstream repository.

4 years ago
1c73b853
suppress warnings in prosa.util.seqset · 1c73b853
Björn Brandenburg authored 4 years ago
```
...by adding the -projection-no-head-constant flag to the build settings.
```
1c73b853

History
suppress warnings in prosa.util.seqset
Björn Brandenburg authored 4 years ago
```
...by adding the -projection-no-head-constant flag to the build settings.
```

_CoqProject 79 B

-R . prosa -arg "-w -notation-overriden,-parsing,-projection-no-head-constant"