Skip to content

GitLab

Mise à jour terminée. Pour connaître les apports de la version 13.10.3 par rapport à notre ancienne version vous pouvez lire les "Release Notes" suivantes :
https://about.gitlab.com/releases/2021/03/22/gitlab-13-10-released/
https://about.gitlab.com/releases/2021/03/31/security-release-gitlab-13-10-1-released/
https://about.gitlab.com/releases/2021/04/01/gitlab-13-10-2-released/
https://about.gitlab.com/releases/2021/04/14/security-release-gitlab-13-10-3-released/

Open
Created by MARCHE Claude@marcheOwner

SMT support for solvers which do not support quantifiers

We should support SMT solvers even if they do not support quantifiers, like Yices 2 and mathsat.

This can be done by applying a transformation that removes quantified hypotheses, like it is done already for Colibri I think (see !112)

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information