Replace ssrlia with mczify (!186) · Merge requests · RT-PROOFS / PROSA - Formally Proven Schedulability Analysis

Merged Pierre Roux requested to merge mczify into master 3 years ago

Mar 03, 2022

remove ssrlia entirely · 8d997a10
Björn Brandenburg authored 3 years ago

8d997a10
update documentation to mention the mczify dependency · 67cb64b5
Björn Brandenburg authored 3 years ago

67cb64b5

CI: run `opam update` before `opam install` · 8bf49c96

CI is failing as follows:

```
$ opam install coq-mathcomp-zify
[NOTE] It seems you have not updated your repositories for a while. Consider updating them with:
       opam update
The following dependencies couldn't be met:
  - coq-mathcomp-zify -> coq-mathcomp-algebra < 1.14~
      not available because the package is pinned to version 1.14.0
No solution found, exiting
```

8bf49c96

CI: don't remove dependencies of coq-mathcomp-zify · fa3c6444

Björn Brandenburg authored 3 years ago

coq-mathcomp-algebra and coq-mathcomp-fingroup re-installed when
installing coq-mathcomp-zify, so don't remove them in the first place

fa3c6444

Replace ssrlia with mczify · 0254d72b
Pierre Roux authored 3 years ago and Björn Brandenburg committed 3 years ago

0254d72b

Replace ssrlia with mczify

Merge request reports

Activity