.gitlab-ci.yml · 63aa797499d6fae1879bb55273bcf4db83461c1f · Why3 / why3 · GitLab

Mentions légales du service

GitLab upgrade completed. Current version is 17.11.6.

May 22, 2025
d547f17f
do not map IEEE floats theory to Alt-Ergo's own theory · d547f17f
MARCHE Claude authored May 22, 2025
```
Upgrade to AE 2.6.2
```
d547f17f
do not map IEEE floats theory to Alt-Ergo's own theory
MARCHE Claude authored May 22, 2025
```
Upgrade to AE 2.6.2
```