Resolve "Encoding regression on datatypes when upgrading alt-ergo 2.4 -> 2.5" (!1072) · Merge requests · Why3 / why3 · GitLab

Mentions légales du service

[A venir] Mise en place de quotas sur nos instances GitLab. Plus d'information sur : https://doc-si.inria.fr/pages/viewpage.action?pageId=129728565
[Coming soon] Quotas installation on our GitLab instances. More information: https://doc-si.inria.fr/pages/viewpage.action?pageId=129728565

MARCHE Claude requested to merge 854-encoding-regression-on-datatypes-when-upgrading-alt-ergo-2-4-2-5 into master May 21, 2024

Closes #854 (closed)