Skip to content

GitLab

  • Menu
Projects Groups Snippets
    • Loading...
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Sign in
  • why3 why3
  • Project information
    • Project information
    • Activity
    • Labels
    • Members
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
  • Issues 136
    • Issues 136
    • List
    • Boards
    • Service Desk
    • Milestones
  • Merge requests 20
    • Merge requests 20
  • Deployments
    • Deployments
    • Releases
  • Packages & Registries
    • Packages & Registries
    • Container Registry
  • Activity
  • Graph
  • Create a new issue
  • Commits
  • Issue Boards
Collapse sidebar
  • Why3
  • why3why3
  • Issues

  • Open 11
  • Closed 17
  • All 28
New issue
  • Priority Created date Updated date Milestone due date Due date Popularity Label priority Manual Title
  • Use Python's type variables
    #642 · created Apr 28, 2022 by Guillaume Melquiond   component: syntax
    • 0
    updated Apr 28, 2022
  • 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
    • 1
    • 16
    updated May 25, 2022
  • 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 Jun 24, 2022
  • 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