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 134
    • Issues 134
    • List
    • Boards
    • Service Desk
    • Milestones
  • Merge requests 18
    • Merge requests 18
  • Deployments
    • Deployments
    • Releases
  • Packages & Registries
    • Packages & Registries
    • Container Registry
  • Activity
  • Graph
  • Create a new issue
  • Commits
  • Issue Boards
Collapse sidebar
  • Why3
  • why3why3
  • Merge requests

  • Open 18
  • Merged 599
  • Closed 59
  • All 676
  • Priority Created date Updated date Milestone due date Popularity Label priority Merged date Closed date Title
  • [Env] Generalize env with resolver
    !674 · created May 09, 2022 by François Bobot
    • 2
    updated May 09, 2022
  • Move extraction drivers to their own directory.
    !672 · created May 06, 2022 by Guillaume Melquiond   1.6.0   component: extraction
    • 0
    updated May 06, 2022
  • Draft: 'Subregion Analysis'
    !667 · created Apr 29, 2022 by Xavier Denis
    • 3
    updated Apr 29, 2022
  • Resolve "Allow giant-step only in `Check_ce.select_model`"
    !661 · created Apr 22, 2022 by MOREAU Solene   ProofInUse/AdaCore ProofInUse/TrustInSoft component: counterexample
    • 0
    updated May 13, 2022
  • Resolve "IDE: should display the right source file in case of syntax or typing error"
    !659 · created Apr 20, 2022 by MARCHE Claude   component: graphical user interface
    • 0
    updated Apr 22, 2022
  • Eliminate unused symbols
    !623 · created Feb 11, 2022 by MARCHE Claude
    • 2
    updated Apr 08, 2022
  • Draft: Add support for Odoc
    !592 · created Sep 24, 2021 by Guillaume Melquiond   component: build system component: documentation
    • 1
    • 0
    updated May 06, 2022
  • Draft: Predicate `list.Sorted.sorted` recursively-defined.
    !571 · created Sep 03, 2021 by Mário Pereira
    • 6
    updated Sep 08, 2021
  • Draft: Resolve "New function for conversion from real to float"
    !570 · created Sep 03, 2021 by MARCHE Claude
    • 0
    updated Sep 29, 2021
  • Draft: Resolve "Interface for Module"   2 of 4 tasks completed
    !557 · created Jun 30, 2021 by Benjamin Terra-Jorge   component: syntax
    • 20
    updated Jan 24, 2022
  • Simplify euclidean to computer division
    !479 · created Feb 06, 2021 by François Bobot
    • 0
    updated Apr 29, 2022
  • WIP: Add a CONTRIBUTING.md
    !458 · created Feb 01, 2021 by Xavier Denis
    • 8
    updated Feb 04, 2021
  • WIP: Resolve "Sequence literals"
    !371 · created Apr 22, 2020 by Claudio Belo Lourenco   To be discussed component: core component: syntax
    • 0
    updated Jun 26, 2020
  • [WIP] Résoudre les problèmes de performance avec Patricia Tree hashconsé
    !327 · created Feb 28, 2020 by François Bobot
    • 1
    updated Feb 28, 2020
  • WIP: Add well_formed for type invariant
    !283 · created Nov 27, 2019 by DAILLER Sylvain
    • 0
    updated Nov 27, 2019
  • [WIP] Add a cache to the call of provers
    !231 · created Sep 20, 2019 by François Bobot   To be discussed
    • 6
    updated Sep 24, 2019
  • [WIP] use Dune   0 of 4 tasks completed
    !229 · created Sep 19, 2019 by François Bobot   1.6.0   component: build system
    • 1
    • 10
    updated Apr 25, 2022
  • Add algorithms for computational real operations
    !139 · created May 07, 2019 by François Bobot
    • 5
    updated Jan 24, 2022