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 82
    • Issues 82
    • List
    • Boards
    • Labels
    • Milestones
  • Merge Requests 11
    • Merge Requests 11
  • 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 82
  • Closed 338
  • All 420
New issue
  • Priority Created date Last updated Milestone due date Due date Popularity Label priority Manual
  • ppx_debug_optim step fails on windows
    #419 · opened Dec 05, 2019 by Johannes Kanig
    • 3
    updated Dec 05, 2019
  • Internal error in Alt-ergo after inline_trivial
    #417 · opened Nov 29, 2019 by BECKER Benedikt
    • 2
    updated Dec 02, 2019
  • Stop support for GTK2
    #416 · opened Nov 27, 2019 by DAILLER Sylvain   To be discussed
    • 1
    • 8
    updated Dec 11, 2019
  • Shadowing (e.g., mutable variables) makes sessions unstable
    #412 · opened Nov 22, 2019 by Guillaume Melquiond   To be discussed component: session
    • 3
    updated Nov 29, 2019
  • Rare GTK idle_expand_row crash
    #411 · opened Nov 14, 2019 by Raphaël Rieu-Helft   component: (graphical) user interface priority: high
    • 2
    updated Nov 20, 2019
  • add realizations for modules in library fmap
    #410 · opened Nov 08, 2019 by Jean-Christophe Filliâtre
    • 0
    updated Nov 08, 2019
  • remove deprecated library appmap and impmap
    #409 · opened Nov 08, 2019 by Jean-Christophe Filliâtre
    • 0
    updated Nov 08, 2019
  • Localisation of errors during extraction of cloned module
    #403 · opened Oct 31, 2019 by DAILLER Sylvain   component: extraction feature wish
    • 0
    updated Oct 31, 2019
  • set logic to ALL_SUPPORTED for CVC4
    #401 · opened Oct 28, 2019 by MARCHE Claude
    • 0
    updated Oct 28, 2019
  • Improve shape structures
    #400 · opened Oct 25, 2019 by Guillaume Melquiond   component: core
    • 0
    updated Oct 25, 2019
  • Fix module cloning with respect to effects
    #396 · opened Oct 25, 2019 by Guillaume Melquiond   1.3.0   component: core soundness
    • 0
    updated Oct 25, 2019
  • Warning on useless exception catching
    #394 · opened Oct 16, 2019 by DAILLER Sylvain   To be discussed feature wish
    • 1
    updated Nov 08, 2019
  • type invariant preservation question
    #393 · opened Oct 16, 2019 by DAILLER Sylvain   Hackathon component: syntax component: wp
    • 9
    updated Nov 27, 2019
  • Refining types by cloning ?
    #391 · opened Oct 08, 2019 by DAILLER Sylvain   soundness
    • 6
    updated Oct 09, 2019
  • Add "final" specifier
    #389 · opened Oct 04, 2019 by Raphaël Rieu-Helft
    • 1
    updated Oct 25, 2019
  • Cloning: please improve syntax and error messages
    #387 · opened Oct 03, 2019 by MARCHE Claude   Hackathon
    • 2
    updated Oct 25, 2019
  • handling of smoke detection in sessions
    #376 · opened Aug 22, 2019 by Johannes Kanig
    • 3
    updated Aug 27, 2019
  • Why3 parsing slow
    #375 · opened Aug 20, 2019 by Johannes Kanig
    • 18
    updated Aug 26, 2019
  • Session_itp.merge_trans: Not_found
    #370 · opened Jul 26, 2019 by Raphaël Rieu-Helft   component: session
    • 1
    updated Jul 29, 2019
  • Add a Why3 lexer to Rouge
    #368 · opened Jul 15, 2019 by Guillaume Melquiond   component: website
    • 0
    updated Jul 15, 2019
  • Prev
  • 1
  • 2
  • 3
  • 4
  • 5
  • Next
  • Last »