Mentions légales du service
Skip to content
GitLab
Explore
Sign in
Why3
why3
Merge requests
Open
1
Merged
13
Closed
1
All
15
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
Clone defined logical symbols
!680
· created
May 23, 2022
by
Benjamin Terra-Jorge
1.6.0
component: core
Merged
13
updated
Mar 21, 2024
Do not handle 'match with exception' as 'try with' in the surface language.
!658
· created
Apr 19, 2022
by
Guillaume Melquiond
1.5.0
component: core
component: syntax
Merged
0
updated
Apr 20, 2022
tentative fix for #590
!619
· created
Jan 05, 2022
by
Andrei Paskevich
1.4.1
component: core
Merged
0
updated
Jan 05, 2022
Strip Why3printer
!601
· created
Oct 01, 2021
by
Guillaume Melquiond
component: core
Merged
Approved
2
updated
Oct 04, 2021
Make term equality less syntactic with respect to literals.
!578
· created
Sep 15, 2021
by
Guillaume Melquiond
1.5.0
component: core
Merged
0
updated
Sep 15, 2021
Resolve "why3 execute fails with "anomaly: Not_found""
!462
· created
Feb 03, 2021
by
Benedikt Becker
component: core
Merged
0
updated
Feb 03, 2021
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
Fix bug #456
!339
· created
Mar 09, 2020
by
Guillaume Melquiond
1.3.0
component: core
Merged
0
updated
Mar 10, 2020
Use incremental maps to store identifiers when computing checksums.
!307
· created
Jan 18, 2020
by
Guillaume Melquiond
component: core
Merged
5
updated
Jan 23, 2020
Resolve "String literals"
!228
· created
Sep 18, 2019
by
MARCHE Claude
component: core
component: syntax
Merged
0
updated
Oct 31, 2019
Give names to ensures and invariant
!163
· created
Jun 05, 2019
by
Benedikt Becker
Hackathon
component: core
component: syntax
Merged
1
updated
Jun 12, 2019
Resolve "Spurious "unused at/old" warning in lemma function parameters"
!159
· created
Jun 05, 2019
by
Andrei Paskevich
Hackathon
component: core
Merged
0
updated
Jun 05, 2019
Rework numerical constants.
!101
· created
Feb 18, 2019
by
Guillaume Melquiond
1.3.0
component: core
Merged
0
updated
Feb 18, 2019