Mentions légales du service
Skip to content
GitLab
Explore
Sign in
Why3
why3
Merge requests
Open
1
Merged
37
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}}
Updated date
Fix some API documentation typos.
!1033
· created
Feb 26, 2024
by
Guillaume Melquiond
1.7.2
component: documentation
Merged
0
updated
Feb 26, 2024
Resolve "Emacs mode setup is insufficient: opam-share is void"
!1029
· created
Feb 20, 2024
by
MARCHE Claude
1.8.0
ProofInUse/MERCE
component: documentation
Merged
5
updated
Feb 20, 2024
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
Move both documentation and TryWhy3 to the new website and update the release process accordingly.
!1007
· created
Jan 19, 2024
by
Guillaume Melquiond
component: continuous integration
component: documentation
component: trywhy3
Merged
0
updated
Jan 20, 2024
Split the builds of TryWhy3 and Alt-Ergo, and move the whole documentation to www.why3.org
!1006
· created
Jan 19, 2024
by
Guillaume Melquiond
component: continuous integration
component: documentation
component: trywhy3
Merged
0
updated
Jan 19, 2024
Update the release process and remove links to the old website
!1004
· created
Jan 18, 2024
by
Guillaume Melquiond
component: documentation
Merged
0
updated
Jan 18, 2024
Use UTF8 accents for authors in the bibliography.
!1001
· created
Jan 17, 2024
by
Guillaume Melquiond
component: documentation
Merged
0
updated
Jan 17, 2024
Publish the documentation for the API and the standard library.
!1000
· created
Jan 16, 2024
by
Guillaume Melquiond
component: continuous integration
component: documentation
Merged
0
updated
Jan 16, 2024
Update the release procedure regarding the gallery.
!990
· created
Nov 28, 2023
by
Guillaume Melquiond
1.7.1
component: documentation
Merged
0
updated
Nov 28, 2023
Miscellaneous fixes
!987
· created
Nov 23, 2023
by
Guillaume Melquiond
1.7.0
component: documentation
Merged
0
updated
Nov 23, 2023
chg: sort modules
!906
· created
Jun 21, 2023
by
Gérald Point
1.7.0
component: documentation
Merged
0
updated
Nov 23, 2023
Fix some documentation typos.
!985
· created
Nov 23, 2023
by
Guillaume Melquiond
1.7.0
component: documentation
Merged
0
updated
Nov 23, 2023
Fix broken tutorial.
!883
· created
May 17, 2023
by
Guillaume Melquiond
1.6.1
component: documentation
Merged
0
updated
May 17, 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
Handle placeholder text better
!765
· created
Nov 09, 2022
by
Guillaume Melquiond
1.6.0
component: documentation
component: graphical user interface
Merged
0
updated
Nov 09, 2022
Resolve "Update documentation of the Why3 API"
!712
· created
Jul 20, 2022
by
MARCHE Claude
1.6.0
ProofInUse/TrustInSoft
component: documentation
Merged
0
updated
Sep 07, 2022
Clean part of the API documentation.
!731
· created
Sep 02, 2022
by
Guillaume Melquiond
1.6.0
component: documentation
Merged
0
updated
Sep 02, 2022
Resolve "Document [@vc:xxx] attributes"
!698
· created
Jun 24, 2022
by
MARCHE Claude
ProofInUse/TrustInSoft
component: documentation
Merged
14
updated
Jul 06, 2022
Small documentation improvements
!676
· created
May 11, 2022
by
Guillaume Melquiond
1.6.0
component: documentation
component: extraction
Merged
0
updated
May 11, 2022
Prev
1
2
Next