Mentions légales du service
Skip to content
GitLab
Explore
Sign in
Why3
why3
Merge requests
Open
4
Merged
12
Closed
2
All
18
Actions
Subscribe to RSS feed
Recent searches
{{formattedKey}}
{{ title }}
{{ help }}
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
Upcoming
Started
{{title}}
None
Any
{{title}}
None
Any
{{title}}
None
Any
{{name}}
Yes
No
Yes
No
{{title}}
{{title}}
{{title}}
Updated date
Resolve "All warnings should be toggleable"
!944
· created
Sep 05, 2023
by
Matteo Manighetti
1.7.0
To be discussed
Merged
0
updated
Sep 11, 2023
Prevent `eliminate_if` to fail
!833
· created
Mar 21, 2023
by
Guillaume Cluzel
1.6.1
ProofInUse/TrustInSoft
To be discussed
component: transformations
Merged
6
updated
Jul 18, 2023
Resolve "Add a ``File > Export...`` feature"
!821
· created
Feb 22, 2023
by
MARCHE Claude
1.6.0
To be discussed
component: graphical user interface
Merged
0
updated
Feb 22, 2023
Resolve "Global directives are ignored in extra drivers"
!822
· created
Feb 22, 2023
by
MARCHE Claude
1.6.0
ProofInUse/TrustInSoft
To be discussed
Merged
0
updated
Feb 22, 2023
Resolve "Optimize or disable simplify_trivial_quantification"
!744
· created
Oct 04, 2022
by
MOREAU Solene
To be discussed
component: provers
component: transformations
Merged
Approved
1
updated
Oct 19, 2022
Resolve "wish: a uniform treatment of relative paths in configuration and drivers"
!679
· created
May 20, 2022
by
MARCHE Claude
1.6.0
ProofInUse/TrustInSoft
To be discussed
Merged
1
updated
Sep 07, 2022
Save libdir and datadir in why3.conf (fix #595)
!614
· created
Dec 08, 2021
by
Raphaël Rieu-Helft
1.5.0
To be discussed
Merged
Approved
10
updated
Sep 06, 2022
Resolve "z3 driver should not unfold definitions"
!704
· created
Jul 08, 2022
by
MARCHE Claude
ProofInUse/TrustInSoft
To be discussed
component: provers
Merged
2
updated
Jul 09, 2022
Fun literals
!385
· created
Aug 25, 2020
by
Claudio Belo Lourenco
To be discussed
component: syntax
Merged
Approved
45
updated
Dec 18, 2020
Resolve "Detection of non-progressing transformation is broken"
!351
· created
Mar 23, 2020
by
MARCHE Claude
1.3.1
To be discussed
component: core
priority: blocker
Merged
0
updated
Mar 24, 2020
New tool why3pp (pretty print)
!232
· created
Sep 24, 2019
by
Benedikt Becker
1.3.0
To be discussed
component: tools
Merged
3
updated
Nov 05, 2019
Feature/resurect menhir message
!168
· created
Jun 05, 2019
by
François Bobot
To be discussed
Merged
15
updated
Sep 20, 2019