Skip to content

  • Projects
  • Groups
  • Snippets
  • Help
    • Loading...
    • Help
    • Support
    • Submit feedback
    • Contribute to GitLab
  • Sign in
why3
why3
  • Project overview
    • Project overview
    • Details
    • Activity
    • Releases
    • Cycle Analytics
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
    • Charts
  • Issues 81
    • Issues 81
    • List
    • Boards
    • Labels
    • Milestones
  • Merge Requests 8
    • Merge Requests 8
  • Packages
    • Packages
    • Container Registry
  • Wiki
    • Wiki
  • Snippets
    • Snippets
  • Members
    • Members
  • Collapse sidebar
  • Activity
  • Graph
  • Charts
  • Create a new issue
  • Commits
  • Issue Boards
  • Why3
  • why3why3
  • Issues

  • Open 81
  • Closed 339
  • All 420
New issue
  • Priority Created date Last updated Milestone due date Due date Popularity Label priority Manual
  • Syntax of drivers is not documented
    #204 · opened Oct 10, 2018 by DAILLER Sylvain   documentation
    • 0
    updated Oct 10, 2018
  • Document syntax of clone
    #202 · opened Oct 10, 2018 by DAILLER Sylvain   documentation
    • 0
    updated Nov 13, 2018
  • Document extraction of clonable/cloned modules
    #201 · opened Oct 09, 2018 by MARCHE Claude
    • 2
    updated Jan 28, 2019
  • Interaction of smt encoding with meta
    #196 · opened Oct 03, 2018 by DAILLER Sylvain   component: transformations feature wish priority: low
    • 2
    updated Oct 04, 2018
  • usage of array.Array should not enforce polymorphic VCs
    #193 · opened Oct 02, 2018 by MARCHE Claude
    • 0
    updated Oct 02, 2018
  • Miscellaneous feature wishes for discussion
    #176 · opened Aug 29, 2018 by BECKER Benedikt   feature wish
    • 10
    updated Aug 31, 2018
  • Extraction of absurd
    #171 · opened Aug 29, 2018 by MARCHE Claude   Hackathon feature wish
    • 4
    updated May 21, 2019
  • Cloning function with bad ghost status raises Invalid_argument("Expr.let_rec")
    #168 · opened Aug 24, 2018 by PARREIRA PEREIRA Mário José   1.3.0   Hackathon
    • 7
    updated Nov 08, 2019
  • "use" in drivers is done too late
    #156 · opened Jul 04, 2018 by Andrei Paskevich
    • 11
    updated Jul 23, 2018
  • why3 does not support symbolic links
    #135 · opened Jun 14, 2018 by Guillaume Melquiond
    • 2
    updated Nov 29, 2019
  • range types should introduce an injectivity axiom
    #97 · opened Mar 07, 2018 by MARCHE Claude
    • 9
    updated Mar 26, 2019
  • Commands request to be reorganized
    #63 · opened Dec 19, 2017 by DAILLER Sylvain   component: (graphical) user interface feature wish
    • 1
    updated May 30, 2018
  • additional manually-written configuration files
    #55 · opened Dec 14, 2017 by CLOCHARD Martin   feature wish
    • 6
    updated May 13, 2019
  • warning when cloning module containing only "val"s as abstract symbols
    #52 · opened Dec 14, 2017 by CLOCHARD Martin
    • 0
    updated Aug 29, 2018
  • Instantiation of mutable type symbol when cloning
    #51 · opened Dec 14, 2017 by CLOCHARD Martin   component: core
    • 0
    updated Jan 28, 2019
  • Invalid_argument('Expr.let_rec") in clone declarations
    #42 · opened Nov 22, 2017 by Raphaël Rieu-Helft   1.3.0   Hackathon component: core
    • 5
    updated Nov 08, 2019
  • Tab completion in the command line
    #39 · opened Nov 17, 2017 by Raphaël Rieu-Helft   component: (graphical) user interface feature wish
    • 1
    updated Jun 18, 2019
  • Refresh does not reload source view, causing loss of work
    #30 · opened Nov 09, 2017 by Raphaël Rieu-Helft   Hackathon component: (graphical) user interface
    • 5
    updated Oct 25, 2019
  • Sequence literals
    #27 · opened Nov 09, 2017 by Guillaume Melquiond   To be discussed component: core component: syntax
    • 0
    updated May 10, 2019
  • Classify transformations
    #21 · opened Oct 31, 2017 by DAILLER Sylvain   component: (graphical) user interface
    • 0
    updated Oct 31, 2017
  • « First
  • Prev
  • 1
  • 2
  • 3
  • 4
  • 5
  • Next
  • Last »