Mentions légales du service
Skip to content
GitLab
Explore
Sign in
Why3
why3
Merge requests
Open
38
Merged
959
Closed
74
All
1,071
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}}
Label priority
Lemmas as lemma functions
!671
· created
May 04, 2022
by
Jean-Christophe Filliâtre
Merged
0
updated
Sep 07, 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
Vc: keep sp_if's splittable (and update sessions)
!668
· created
May 02, 2022
by
Andrei Paskevich
1.6.0
Merged
4
updated
Sep 07, 2022
Subregion Analysis
!667
· created
Apr 29, 2022
by
Xavier Denis
Merged
5
updated
Feb 07, 2023
Resolve "Extraction of records with a single field"
!666
· created
Apr 25, 2022
by
Andrei Paskevich
1.5.0
component: extraction
Merged
0
updated
Apr 25, 2022
Resolve "field pretty printing"
!665
· created
Apr 25, 2022
by
MARCHE Claude
1.5.0
Merged
0
updated
Apr 26, 2022
Do not fail on invalid entries in PATH.
!664
· created
Apr 25, 2022
by
Guillaume Melquiond
1.5.0
component: configuration
Merged
0
updated
Apr 25, 2022
Convert the API documentation to UTF8.
!662
· created
Apr 22, 2022
by
Guillaume Melquiond
1.5.0
component: documentation
Merged
2
updated
Apr 22, 2022
Resolve "Allow giant-step only in `Check_ce.select_model`"
!661
· created
Apr 22, 2022
by
MOREAU Solene
ProofInUse/AdaCore
ProofInUse/TrustInSoft
component: counterexample
Merged
5
updated
May 18, 2022
introduce_premises also "dequant" the let-ins
!660
· created
Apr 21, 2022
by
MARCHE Claude
Merged
8
updated
Apr 21, 2022
Resolve "IDE: should display the right source file in case of syntax or typing error"
!659
· created
Apr 20, 2022
by
MARCHE Claude
1.6.0
component: graphical user interface
Merged
1
updated
Sep 12, 2022
Do not handle 'match with exception' as 'try with' in the surface language.
!658
· created
Apr 19, 2022
by
Guillaume Melquiond
1.5.0
component: core
component: syntax
Merged
0
updated
Apr 20, 2022
Cleanup json printing
!657
· created
Apr 12, 2022
by
MOREAU Solene
Merged
7
updated
Apr 14, 2022
Resolve "Allow to specify a specific filename for the proofscript"
!656
· created
Apr 06, 2022
by
MOREAU Solene
1.5.0
Merged
Approved
0
updated
Apr 06, 2022
Resolve "Fix missing capture of incompleteness errors in RAC"
!655
· created
Apr 06, 2022
by
MOREAU Solene
1.5.0
component: counterexample
Merged
Approved
0
updated
Apr 06, 2022
Resolve "Fix drivers for SMT-LIB strings"
!654
· created
Apr 06, 2022
by
MARCHE Claude
1.5.0
Merged
1
updated
Apr 06, 2022
Resolve "Fix detection of [prover] section in configuration file"
!653
· created
Apr 01, 2022
by
MOREAU Solene
1.5.0
Merged
4
updated
Apr 05, 2022
fixed lost proofs in multiprecision/lineardecision
!651
· created
Mar 31, 2022
by
MARCHE Claude
Merged
0
updated
Mar 31, 2022
Resolve "Support for Z3 4.8.11 to 4.8.13"
!650
· created
Mar 31, 2022
by
MARCHE Claude
1.5.0
component: provers
Merged
0
updated
Mar 31, 2022
Prev
1
…
15
16
17
18
19
20
21
22
23
…
48
Next