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}}
Updated date
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
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
Lemmas as lemma functions
!671
· created
May 04, 2022
by
Jean-Christophe Filliâtre
Merged
0
updated
Sep 07, 2022
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
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
Expr: do not subst formulas into terms (fix #597)
!605
· created
Oct 27, 2021
by
Andrei Paskevich
1.5.0
Merged
1
updated
Sep 07, 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
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
Rename VC for invariant preservation by refinement from "t'vc" to "t'refn'vc"
!726
· created
Aug 25, 2022
by
Benjamin Terra-Jorge
Merged
5
updated
Sep 07, 2022
Save libdir and datadir in why3.conf (fix #595)
!614
· created
Dec 08, 2021
by
Raphaël Rieu-Helft
1.5.0
To be discussed
Merged
Approved
10
updated
Sep 06, 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
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 attribute on built-in `contents` to tell it is a field
!709
· created
Jul 19, 2022
by
MARCHE Claude
1.5.1
Merged
0
updated
Sep 06, 2022
Resolve "Vanished invariant "expl" attribute"
!716
· created
Jul 22, 2022
by
MARCHE Claude
1.5.1
ProofInUse/MERCE
Merged
0
updated
Sep 06, 2022
Resolve "`why3 replay --use-steps` very flaky with Alt-Ergo 2.4.1"
!718
· created
Jul 25, 2022
by
MARCHE Claude
1.5.1
Merged
0
updated
Sep 06, 2022
Fix step detection regexp of Alt-Ergo
!722
· created
Aug 03, 2022
by
Benjamin Monate
1.5.1
ProofInUse/TrustInSoft
Merged
2
updated
Sep 06, 2022
New version of turing factorial
!727
· created
Aug 26, 2022
by
Jean-Christophe Filliâtre
1.6.0
Merged
Approved
0
updated
Sep 05, 2022
gallery: yet another sorting algorithm
!699
· created
Jul 04, 2022
by
Jean-Christophe Filliâtre
1.6.0
Merged
0
updated
Sep 05, 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
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
Prev
1
…
13
14
15
16
17
18
19
20
21
…
48
Next