Mentions légales du service
Skip to content
GitLab
Explore
Sign in
Why3
why3
Merge requests
Open
0
Merged
8
Closed
0
All
8
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 "Export sessions as zip file failure"
!999
· created
Jan 16, 2024
by
MARCHE Claude
1.7.1
component: session server
Merged
0
updated
Jan 16, 2024
V726-002 fix and improve why3server interrupt function
!730
· created
Aug 31, 2022
by
Johannes Kanig
1.6.0
component: server
component: session server
Merged
Approved
15
updated
Aug 31, 2022
Fix some missing messages in Json_util
!598
· created
Sep 29, 2021
by
Guillaume Melquiond
component: session server
Merged
0
updated
Sep 29, 2021
Allow step limits in strategies
!589
· created
Sep 24, 2021
by
Raphaël Rieu-Helft
1.5.0
component: session server
Merged
0
updated
Sep 24, 2021
Make strategies robust to existing transformations (fix #471).
!574
· created
Sep 10, 2021
by
Guillaume Melquiond
1.5.0
component: session server
Merged
0
updated
Sep 10, 2021
Do not call the observer unless some changes happened.
!502
· created
Mar 13, 2021
by
Guillaume Melquiond
1.5.0
component: session server
component: tools
Merged
0
updated
Mar 13, 2021
Resolve "why3ide no longer knows about the location of errors"
!353
· created
Mar 25, 2020
by
MARCHE Claude
component: session server
Merged
0
updated
Sep 05, 2020
ide: restore ide command list-strategies fix #361
!203
· created
Jul 04, 2019
by
DAILLER Sylvain
component: graphical user interface
component: session server
Merged
0
updated
Jul 04, 2019