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
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
Clean some warning messages.
!753
· created
Oct 18, 2022
by
Guillaume Melquiond
Merged
0
updated
Oct 18, 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
Raise LibraryNotFound whenever possible (fix #702).
!752
· created
Oct 17, 2022
by
Guillaume Melquiond
Merged
0
updated
Oct 17, 2022
WIP: Resolve "Investigate differences amongst platforms in `bench/ce/floats.mlw`"
!311
· created
Jan 24, 2020
by
Benedikt Becker
component: counterexample
Closed
2
updated
Oct 14, 2022
fixed introduce_premises
!745
· created
Oct 06, 2022
by
Jean-Christophe Filliâtre
Merged
0
updated
Oct 06, 2022
Resolve "Check counterexamples benchmark"
!742
· created
Sep 28, 2022
by
MOREAU Solene
component: counterexample
Merged
0
updated
Oct 03, 2022
Resolve "Model term without location leads to a failure of the rac prover"
!725
· created
Aug 09, 2022
by
MOREAU Solene
ProofInUse/TrustInSoft
component: counterexample
Merged
0
updated
Sep 28, 2022
Resolve "Reduce the size of check-ce oracles"
!741
· created
Sep 26, 2022
by
MOREAU Solene
Merged
0
updated
Sep 27, 2022
Resolve "Broken IDE support for Python files"
!740
· created
Sep 22, 2022
by
MARCHE Claude
1.6.0
component: graphical user interface
Merged
0
updated
Sep 22, 2022
Add more meta for explicit dependencies in the bitvector library
!739
· created
Sep 22, 2022
by
MARCHE Claude
Merged
0
updated
Sep 22, 2022
Resolve "Check that no answers are lost by Call_prover.analyse_result"
!737
· created
Sep 16, 2022
by
MOREAU Solene
Merged
0
updated
Sep 22, 2022
Add "remove_unused:dependency" to int.ComputerDivision
!732
· created
Sep 05, 2022
by
David Ewert
Merged
3
updated
Sep 21, 2022
V914-015 kill processes when why3server interrupted
!735
· created
Sep 14, 2022
by
Johannes Kanig
Merged
Approved
3
updated
Sep 20, 2022
Resolve "Variants on custom relations always introduce polymorphism"
!717
· created
Jul 22, 2022
by
MARCHE Claude
ProofInUse/TrustInSoft
Merged
3
updated
Sep 14, 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
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
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
Resolve "Relative paths in source location should be relative to containing file path"
!714
· created
Jul 21, 2022
by
MARCHE Claude
1.6.0
Merged
0
updated
Sep 12, 2022
Fix driver names when producing realizations
!715
· created
Jul 22, 2022
by
MARCHE Claude
1.6.0
Merged
0
updated
Sep 12, 2022
Prev
1
…
14
15
16
17
18
19
20
21
22
…
54
Next