Mentions légales du service
Skip to content
GitLab
Explore
Sign in
Why3
why3
Merge requests
Open
0
Merged
25
Closed
2
All
27
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
Fix various bugs with the lexer of why3doc.
!1023
· created
Feb 12, 2024
by
Guillaume Melquiond
1.7.2
component: documentation
component: tools
Merged
0
updated
Feb 12, 2024
[why3doc] Fix (*) inside comments
!1008
· created
Jan 21, 2024
by
Loïc Correnson
component: tools
Merged
Approved
5
updated
Feb 12, 2024
Move timing functions to the Debug.Stats infrastructure.
!984
· created
Nov 22, 2023
by
Guillaume Melquiond
1.7.0
component: tools
Merged
4
updated
Nov 23, 2023
Improve the usage of the command line.
!937
· created
Aug 28, 2023
by
Guillaume Melquiond
1.6.1
component: tools
Merged
0
updated
Aug 28, 2023
Avoid printing duplicate http/1.0
!928
· created
Jul 26, 2023
by
Xavier Denis
component: tools
Merged
2
updated
Jul 27, 2023
Resolve "`why3 session info` should have a mandatory argument"
!923
· created
Jul 19, 2023
by
MARCHE Claude
1.7.0
component: tools
Merged
0
updated
Jul 19, 2023
Improve handling of warning messages.
!843
· created
Apr 04, 2023
by
Guillaume Melquiond
1.7.0
component: tools
Merged
0
updated
Apr 04, 2023
Count UTF-8 characters instead of bytes.
!766
· created
Nov 10, 2022
by
Guillaume Melquiond
1.6.0
component: tools
Merged
0
updated
Nov 14, 2022
Clean error messages.
!724
· created
Aug 09, 2022
by
Guillaume Melquiond
1.6.0
component: tools
Merged
0
updated
Aug 09, 2022
Be more explicit in the description of why3config (fix #603).
!631
· created
Mar 11, 2022
by
Guillaume Melquiond
1.5.0
component: documentation
component: tools
Merged
0
updated
Mar 11, 2022
Improve why3doc as well as the documentation of the standard library
!580
· created
Sep 22, 2021
by
Guillaume Melquiond
1.5.0
component: documentation
component: tools
Merged
0
updated
Sep 22, 2021
Allow arguments for transformations applied in why3 prove
!527
· created
Apr 15, 2021
by
Benedikt Becker
1.5.0
component: tools
Merged
4
updated
Sep 18, 2021
Move "--list-*" options to a dedicated "why3 show" tool.
!519
· created
Apr 10, 2021
by
Guillaume Melquiond
1.5.0
component: tools
Merged
0
updated
Apr 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
Correctly handle composite commands in usage and error messages.
!493
· created
Mar 02, 2021
by
Guillaume Melquiond
1.4.0
component: tools
Merged
0
updated
Mar 02, 2021
Use subcommands instead of options for "why3 config".
!492
· created
Mar 01, 2021
by
Guillaume Melquiond
1.4.0
component: tools
Merged
Approved
6
updated
Mar 02, 2021
Add a wrapper around Dynlink.
!434
· created
Jan 20, 2021
by
Guillaume Melquiond
1.4.0
component: tools
Merged
Approved
0
updated
Jan 22, 2021
Resolve "Ugly output of why3replay"
!431
· created
Jan 15, 2021
by
Benedikt Becker
1.4.0
component: tools
Merged
1
updated
Jan 18, 2021
Compile Why3 tools as plugins (fix #485, #478, #507)
4 of 5 checklist items completed
!400
· created
Oct 07, 2020
by
Guillaume Melquiond
1.4.0
component: build system
component: tools
Merged
8
updated
Oct 26, 2020
Improve handling of long options
!403
· created
Oct 13, 2020
by
Guillaume Melquiond
1.4.0
component: tools
Merged
0
updated
Oct 13, 2020
Prev
1
2
Next