README.adoc · regular-pv · Regular program verification / Timbuk / ocaml · GitLab

Mentions légales du service

GitLab upgrade completed. Current version is 17.11.1. We now benefit from the features of the release 17.11.

Apr 05, 2019
ea83abc3
README.adoc: use a table to display supported architectures · ea83abc3
Xavier Leroy authored Apr 05, 2019
```
Also: add IBM Z; mark PowerPC-32 as "tier 2" (we no longer have it in CI).
```
ea83abc3
README.adoc: use a table to display supported architectures
Xavier Leroy authored Apr 05, 2019
```
Also: add IBM Z; mark PowerPC-32 as "tier 2" (we no longer have it in CI).
```