Mentions légales du service
Skip to content
GitLab
Explore
Sign in
Why3
why3
Merge requests
Open
38
Merged
947
Closed
74
All
1,059
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}}
Milestone due date
gallery: yet another sorting algorithm
!699
· created
Jul 04, 2022
by
Jean-Christophe Filliâtre
1.6.0
Merged
0
updated
Sep 05, 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
Resolve "No libdir nor datadir in the why3.conf please"
!692
· created
Jun 15, 2022
by
MARCHE Claude
1.6.0
Merged
23
updated
Sep 06, 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
avoid a cryptic error message after looking for a lemma
!689
· created
Jun 09, 2022
by
Andrei Paskevich
1.6.0
Merged
1
updated
Sep 07, 2022
Add missing documentation for options of why3prove
!688
· created
Jun 07, 2022
by
MOREAU Solene
1.5.1
Merged
3
updated
Sep 06, 2022
Add outofmemory pattern for CVC5
!686
· created
Jun 07, 2022
by
MOREAU Solene
1.6.0
Merged
0
updated
Sep 07, 2022
Resolve "Why3 should not save files loaded via spans"
!684
· created
May 31, 2022
by
MARCHE Claude
1.6.0
Merged
5
updated
Sep 12, 2022
Pmodule: check meta and clone declarations for use-on-demand symbols
!682
· created
May 27, 2022
by
Andrei Paskevich
1.5.1
Merged
0
updated
Sep 07, 2022
records with no fields are not (fixes #592)
!681
· created
May 23, 2022
by
Andrei Paskevich
1.5.1
Merged
0
updated
Jul 01, 2022
Clone defined logical symbols
!680
· created
May 23, 2022
by
Benjamin Terra-Jorge
1.6.0
component: core
Merged
13
updated
Mar 21, 2024
Resolve "wish: a uniform treatment of relative paths in configuration and drivers"
!679
· created
May 20, 2022
by
MARCHE Claude
1.6.0
ProofInUse/TrustInSoft
To be discussed
Merged
1
updated
Sep 07, 2022
Support for CVC5
!678
· created
May 19, 2022
by
MOREAU Solene
1.6.0
ProofInUse/AdaCore
component: counterexample
Merged
4
updated
Sep 07, 2022
Resolve "CVC4 memlimit registered as high failure"
!677
· created
May 16, 2022
by
MOREAU Solene
1.6.0
ProofInUse/AdaCore
component: provers
Merged
1
updated
Sep 12, 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
Handle builtins in a generic way
!675
· created
May 10, 2022
by
Guillaume Melquiond
1.6.0
component: execution
Merged
0
updated
May 10, 2022
Complete commands on TAB press (fix #39).
!673
· created
May 06, 2022
by
Guillaume Melquiond
1.6.0
component: graphical user interface
Merged
0
updated
May 06, 2022
Move extraction drivers to their own directory.
!672
· created
May 06, 2022
by
Guillaume Melquiond
1.6.0
component: extraction
Merged
0
updated
May 23, 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
Dexpr: replace Hpv with Mpv ref to ensure persistency
!669
· created
May 03, 2022
by
Andrei Paskevich
1.5.1
Merged
1
updated
Sep 07, 2022
Prev
1
…
5
6
7
8
9
10
11
12
13
…
48
Next