Mentions légales du service
Skip to content
GitLab
Explore
Sign in
Why3
why3
Merge requests
Open
2
Merged
36
Closed
0
All
38
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
Improve build.
!1031
· created
Feb 20, 2024
by
Guillaume Melquiond
1.7.2
component: build system
Merged
0
updated
Feb 20, 2024
Various improvements to configure.in post release 1.7.0
!988
· created
Nov 24, 2023
by
Guillaume Melquiond
1.7.1
component: build system
Merged
0
updated
Nov 24, 2023
Work around bug #749.
!842
· created
Apr 03, 2023
by
Guillaume Melquiond
1.6.1
component: build system
component: documentation
Merged
0
updated
Apr 04, 2023
Minor cleanups
!825
· created
Feb 23, 2023
by
Guillaume Melquiond
1.6.0
component: build system
component: documentation
Merged
0
updated
Feb 23, 2023
Improve configure
10 of 10 checklist items completed
!782
· created
Nov 25, 2022
by
Guillaume Melquiond
1.6.0
component: build system
Merged
0
updated
Nov 28, 2022
Remove obsolete autoconf macro.
!759
· created
Oct 24, 2022
by
Guillaume Melquiond
component: build system
Merged
0
updated
Oct 24, 2022
Bump OCaml versions tested on continuous integration.
!754
· created
Oct 18, 2022
by
Guillaume Melquiond
1.6.0
component: build system
Merged
0
updated
Oct 19, 2022
Remove support for Lablgtk2 (fix #676).
!723
· created
Aug 09, 2022
by
Guillaume Melquiond
1.6.0
component: build system
component: graphical user interface
Merged
0
updated
Oct 18, 2022
Ensure compatibility with OCaml 5
3 of 3 checklist items completed
!697
· created
Jun 23, 2022
by
Guillaume Melquiond
1.6.0
component: build system
Merged
0
updated
Nov 09, 2022
Fix for new mlmpfr version
!690
· created
Jun 09, 2022
by
François Bobot
1.5.1
bugfix/v1.5
component: build system
Merged
4
updated
Aug 31, 2022
Make sure the generated files are deleted even if no longer needed by configure.
!670
· created
May 04, 2022
by
Guillaume Melquiond
1.5.1
component: build system
Merged
0
updated
Jul 01, 2022
Compatibility with MPFR 4.1.0
!640
· created
Mar 17, 2022
by
François Bobot
1.5.0
component: build system
Merged
2
updated
Mar 17, 2022
Improve support for mlmpfr.
!627
· created
Feb 17, 2022
by
Guillaume Melquiond
1.4.1
component: build system
Merged
0
updated
Feb 17, 2022
Mark ppx_deriving as an explicit optional dependency (fix #596).
!618
· created
Jan 05, 2022
by
Guillaume Melquiond
1.4.1
component: build system
Merged
0
updated
Jan 05, 2022
Silence some warnings from OCaml 4.13
!597
· created
Sep 28, 2021
by
Guillaume Melquiond
component: build system
Merged
0
updated
Sep 28, 2021
Draft: Add support for Odoc
!592
· created
Sep 24, 2021
by
Guillaume Melquiond
component: build system
component: documentation
1
0
updated
Sep 03, 2022
Increase the lower bound on Menhir.
!559
· created
Jul 08, 2021
by
Guillaume Melquiond
1.4.1
component: build system
Merged
0
updated
Jul 08, 2021
Remove some duplication of keywords.
!518
· created
Apr 09, 2021
by
Guillaume Melquiond
component: build system
Merged
0
updated
Apr 10, 2021
Compile plugins as .cma files instead of .cmo.
!501
· created
Mar 13, 2021
by
Guillaume Melquiond
1.5.0
component: build system
Merged
0
updated
Jun 18, 2021
Add support for Broadway in the deployed image.
!490
· created
Feb 25, 2021
by
Guillaume Melquiond
1.4.0
component: build system
component: graphical user interface
Merged
0
updated
Feb 25, 2021
Prev
1
2
Next