Skip to content

GitLab

  • Projects
  • Groups
  • Snippets
  • Help
    • Loading...
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Sign in
why3
why3
  • Project overview
    • Project overview
    • Details
    • Activity
    • Releases
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
  • Issues 120
    • Issues 120
    • List
    • Boards
    • Labels
    • Service Desk
    • Milestones
  • Merge Requests 20
    • Merge Requests 20
  • Packages & Registries
    • Packages & Registries
    • Container Registry
  • Analytics
    • Analytics
    • Repository
    • Value Stream
  • Wiki
    • Wiki
  • Snippets
    • Snippets
  • Members
    • Members
  • Activity
  • Graph
  • Create a new issue
  • Commits
  • Issue Boards
Collapse sidebar

Mise à jour terminée. Pour connaître les apports de la version 13.10.3 par rapport à notre ancienne version vous pouvez lire les "Release Notes" suivantes :
https://about.gitlab.com/releases/2021/03/22/gitlab-13-10-released/
https://about.gitlab.com/releases/2021/03/31/security-release-gitlab-13-10-1-released/
https://about.gitlab.com/releases/2021/04/01/gitlab-13-10-2-released/
https://about.gitlab.com/releases/2021/04/14/security-release-gitlab-13-10-3-released/

  • Why3
  • why3why3
  • Issues

  • Open 7
  • Closed 17
  • All 24
New issue
  • Priority Created date Last updated Milestone due date Due date Popularity Label priority Manual
  • support for CVC4 1.8
    #502 · created Sep 17, 2020 by MARCHE Claude   1.4.0   component: drivers
    • CLOSED
    • 1
    • 4
    updated Feb 12, 2021
  • Add support for recent versions of Z3
    #550 · created Feb 08, 2021 by MARCHE Claude   1.4.0   component: drivers
    • CLOSED
    • 1
    • 0
    updated Feb 11, 2021
  • Add srem and sdiv operations on bitvectors
    #535 · created Jan 28, 2021 by Guillaume Cluzel   1.4.0   component: drivers component: theories
    • CLOSED
    • 1
    • 4
    updated Feb 06, 2021
  • Add support for Alt-Ergo 2.4.0
    #533 · created Jan 27, 2021 by MARCHE Claude   1.4.0   component: drivers
    • CLOSED
    • 1
    • 1
    updated Feb 05, 2021
  • Useless axioms for min and max in SMT output
    #512 · created Oct 28, 2020 by Johannes Kanig   component: drivers
    • CLOSED
    • 1
    • 8
    updated Nov 05, 2020
  • CVC4 1.7 hates predefined symbols
    #461 · created Mar 18, 2020 by Guillaume Melquiond   1.3.1   component: drivers
    • CLOSED
    • 1
    • 7
    updated Mar 18, 2020
  • Wrong smtlib file generation for ieee_float.FloatXX.in_range (at least) for CVC4
    #450 · created Feb 27, 2020 by Ghost User   1.3.0   Hackathon component: drivers
    • CLOSED
    • 1
    • 3
    updated Mar 04, 2020
  • Add support for Vampire (SMT-LIB2 input)
    #271 · created Feb 08, 2019 by Guillaume Melquiond   1.3.0   component: drivers
    • CLOSED
    • 0
    updated Feb 12, 2020
  • Theory "string.String" is unsound
    #404 · created Oct 31, 2019 by Guillaume Melquiond   1.3.0   component: drivers component: theories soundness
    • CLOSED
    • 1
    • 9
    updated Nov 12, 2019
  • Support for Z3 4.8.5 and 4.8.6
    #386 · created Sep 26, 2019 by DAILLER Sylvain   1.2.1   component: drivers feature wish
    • CLOSED
    • 1
    updated Oct 25, 2019
  • possible improvements in SMT-LIB driver
    #268 · created Feb 04, 2019 by MARCHE Claude   component: drivers
    • CLOSED
    • 1
    • 5
    updated Apr 11, 2019
  • Precedence of extraction driver symbols
    #223 · created Oct 24, 2018 by Raphaël Rieu-Helft   component: drivers feature wish
    • CLOSED
    • 1
    • 0
    updated Mar 05, 2019
  • Removing Inline_trivial
    #263 · created Jan 31, 2019 by DAILLER Sylvain   component: drivers component: transformations
    • CLOSED
    • 1
    • 0
    updated Feb 12, 2019
  • Support Z3 4.8.1 and 4.8.3
    #250 · created Dec 14, 2018 by MARCHE Claude   1.2.0   component: drivers
    • CLOSED
    • 3
    updated Feb 07, 2019
  • Finalize the use of prover alternative "counterexamples" to get counterexamples
    #133 · created Jun 13, 2018 by Guillaume Melquiond   1.2.0   component: drivers component: graphical user interface
    • CLOSED
    • 4
    updated Dec 21, 2018
  • Fix encoding of maps
    #189 · created Sep 28, 2018 by Guillaume Melquiond   1.1.0   component: drivers
    • CLOSED
    • 12
    updated Oct 01, 2018
  • eliminate_literal, range types and Eprover driver
    #101 · created Mar 27, 2018 by Raphaël Rieu-Helft   component: drivers component: transformations
    • CLOSED
    • 0
    updated Mar 28, 2018