Issues · Why3 / why3 · GitLab

RFC: binders for tuple components in function prototype

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

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

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

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

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

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

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

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

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

#246 · created 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 · created Nov 09, 2017 by Guillaume Melquiond component: core component: syntax
- 1
- 16
updated Dec 17, 2020