disabled Alt-Ergo FPA for versions < 2.5.4 (bug known) (!1073) · Merge requests · Why3 / why3 · GitLab

Mentions légales du service

MAJ en 17.0.1 terminée.
La release note principale concernant cette MAJ est ici:

https://about.gitlab.com/releases/2024/05/16/gitlab-17-0-released/

MARCHE Claude requested to merge disable-alt-ergo-fpa-2.5.3 into master May 23, 2024

Alt-Ergo prior to 2.5.4 have known bugs regarding FPA