Mentions légales du service
Skip to content
GitLab
Explore
Sign in
Why3
why3
Merge requests
Open
0
Merged
3
Closed
0
All
3
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}}
Created date
Resolve "Feature wish: restrict allowed debug flags to regular identifiers"
!818
· created
Feb 21, 2023
by
MARCHE Claude
1.6.0
ProofInUse/TrustInSoft
feature wish
Merged
0
updated
Feb 21, 2023
Resolve "Emit a warning when "old" does nothing in a specification"
!500
· created
Mar 12, 2021
by
Andrei Paskevich
1.4.0
feature wish
Merged
0
updated
Jul 13, 2021
ide: Scroll to module/theory when clicking them on the prooftree
!204
· created
Jul 05, 2019
by
DAILLER Sylvain
component: graphical user interface
feature wish
Merged
0
updated
Jul 05, 2019