Mentions légales du service
Skip to content
GitLab
Explore
Sign in
Why3
why3
Merge requests
Open
36
Merged
952
Closed
74
All
1,062
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
Improve configure
10 of 10 checklist items completed
!782
· created
Nov 25, 2022
by
Guillaume Melquiond
1.6.0
component: build system
Merged
0
updated
Nov 28, 2022
BDD-infer: add a drop statement to drop proxy vars as early as possible
!780
· created
Nov 23, 2022
by
MARCHE Claude
1.6.0
ProofInUse/MERCE
Merged
0
updated
Nov 23, 2022
New version of BDD infer
!778
· created
Nov 23, 2022
by
MARCHE Claude
1.6.0
ProofInUse/MERCE
Merged
0
updated
Nov 23, 2022
Avoid declaring as unused variables that are already unused.
!774
· created
Nov 17, 2022
by
Guillaume Melquiond
1.6.0
Merged
0
updated
Nov 17, 2022
Sort detected provers by version (fix #667).
!771
· created
Nov 15, 2022
by
Guillaume Melquiond
1.6.0
component: configuration
Merged
0
updated
Nov 15, 2022
Factor code a bit between known and unknown prover versions.
!770
· created
Nov 14, 2022
by
Guillaume Melquiond
1.6.0
component: configuration
Merged
0
updated
Nov 14, 2022
Count UTF-8 characters instead of bytes.
!766
· created
Nov 10, 2022
by
Guillaume Melquiond
1.6.0
component: tools
Merged
0
updated
Nov 14, 2022
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
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
Support for dreal prover
!749
· created
Oct 13, 2022
by
MARCHE Claude
1.6.0
ProofInUse/TrustInSoft
Merged
3
updated
Jan 04, 2023
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
Resolve "Add floating-point support by Alt-Ergo FPA and mathsat"
!738
· created
Sep 20, 2022
by
BONNOT Paul
1.6.0
ProofInUse/TrustInSoft
component: provers
Merged
0
updated
Jan 03, 2023
Changed the unsecure trusted_wf attribute mechanism into a more secure one
!736
· created
Sep 14, 2022
by
MARCHE Claude
1.6.0
Merged
4
updated
May 17, 2023
improved micro Python
!733
· created
Sep 07, 2022
by
Jean-Christophe Filliâtre
1.5.1
Merged
9
updated
Sep 08, 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
V726-002 fix and improve why3server interrupt function
!730
· created
Aug 31, 2022
by
Johannes Kanig
1.6.0
component: server
component: session server
Merged
Approved
15
updated
Aug 31, 2022
Resolve "support for Z3 4.9"
!729
· created
Aug 30, 2022
by
MARCHE Claude
1.5.1
ProofInUse/TrustInSoft
Merged
0
updated
Jan 03, 2023
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
Clean error messages.
!724
· created
Aug 09, 2022
by
Guillaume Melquiond
1.6.0
component: tools
Merged
0
updated
Aug 09, 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
Prev
1
…
4
5
6
7
8
9
10
11
12
…
54
Next