Draft: Evaluate impact of intro_vc_vars_counterexmp (!1070) · 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/

Matteo Manighetti requested to merge 847-evaluate-impact-of-intro-vc-vars-counterexmp into master May 15, 2024

Closes #847 (closed)