Issues · Why3 / why3 · GitLab

Mise à jour terminée. Pour connaître les apports de la version 13.8.4 par rapport à notre ancienne version vous pouvez lire les "Release Notes" suivantes :
https://about.gitlab.com/releases/2021/02/11/security-release-gitlab-13-8-4-released/
https://about.gitlab.com/releases/2021/02/05/gitlab-13-8-3-released/

RFC: binders for tuple components in function prototype

#552 · opened Feb 10, 2021 by Jean-Christophe Filliâtre component: syntax feature wish
- 2
updated Feb 11, 2021
Syntactic sugar for lemma functions

#547 · opened Feb 03, 2021 by Loïc Correnson component: syntax feature wish
- 2
updated Feb 11, 2021
Add a deriving framework for WhyML

#531 · opened Jan 22, 2021 by François Bobot To be discussed component: syntax
- 4
updated Feb 11, 2021
When clauses

#519 · opened Dec 01, 2020 by Xavier Denis component: syntax
- 0
updated Jan 29, 2021
Interface for Module

#505 · opened Oct 01, 2020 by François Bobot component: syntax
- 14
updated Nov 30, 2020
turn lemma into lemma function automatically

#493 · opened Jul 02, 2020 by Jean-Christophe Filliâtre component: syntax feature wish
- 1
- 1
- 16
updated Feb 11, 2021
type invariant preservation question

#393 · opened Oct 16, 2019 by DAILLER Sylvain Hackathon component: syntax component: wp
- 9
updated Nov 27, 2019
Add "final" specifier

#389 · opened Oct 04, 2019 by Raphaël Rieu-Helft component: syntax
- 1
updated Feb 11, 2021
Parsing on attributes in programs

#278 · opened Mar 01, 2019 by DAILLER Sylvain component: syntax
- 3
updated Mar 01, 2019
Allow "use ghost Foo"

#246 · opened Nov 30, 2018 by Guillaume Melquiond To be discussed component: core component: extraction component: syntax feature wish
- 0
updated May 21, 2019
Sequence literals

#27 · opened Nov 09, 2017 by Guillaume Melquiond component: core component: syntax
- 1
- 16
updated Dec 17, 2020