util/list.v · f193ae05fba6a39a9450b38c9a73db5be76021ee · 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.

3 years ago
f193ae05
clean up util/list.v · f193ae05
Sergey Bozhko authored 3 years ago and Björn Brandenburg committed 3 years ago
```
also, removed one assumption in [eq_ind_in_seq]
```
f193ae05

History
clean up util/list.v
Sergey Bozhko authored 3 years ago and Björn Brandenburg committed 3 years ago
```
also, removed one assumption in [eq_ind_in_seq]
```