Skip to content

GitLab

Maj terminée. Pour consulter les releases notes associées voici les liens :
https://about.gitlab.com/releases/2021/05/14/gitlab-13-11-4-released/
https://about.gitlab.com/releases/2021/05/22/gitlab-13-12-released/
https://about.gitlab.com/releases/2021/05/25/gitlab-13-12-1-released/
https://about.gitlab.com/releases/2021/06/01/security-release-gitlab-13-12-2-released/
https://about.gitlab.com/releases/2021/06/07/gitlab-13-12-3-released/
https://about.gitlab.com/releases/2021/06/14/gitlab-13-12-4-released/
https://about.gitlab.com/releases/2021/06/21/gitlab-13-12-5-released/
https://about.gitlab.com/releases/2021/07/01/security-release-gitlab-14-0-2-released/
https://about.gitlab.com/releases/2021/07/05/gitlab-13-12-7-released/

Open
Created by Guillaume Cluzel@x-GCluzeDeveloper

Update documentation of the Why3 API

Hello,

I use the Why3 directly in OCaml. In particular I use the Ptree module. Unfortunately the documentation is very succinct. For example, I cannot understand what the Eoptexn constructor does. Is it the declaration of a local exception? Is this local exception caught at the end of the block?

It would be a great improvement if all constructors have their own documentation and it would significantly help the Why3 users.

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