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
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
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
Resolve "Typing error in extraction of values from counterexamples"
!719
· created
Jul 27, 2022
by
MOREAU Solene
1.6.0
ProofInUse/TrustInSoft
Merged
1
updated
Sep 12, 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
Resolve "Vanished invariant "expl" attribute"
!716
· created
Jul 22, 2022
by
MARCHE Claude
1.5.1
ProofInUse/MERCE
Merged
0
updated
Sep 06, 2022
Fix driver names when producing realizations
!715
· created
Jul 22, 2022
by
MARCHE Claude
1.6.0
Merged
0
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
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
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
Prev
1
…
4
5
6
7
8
9
10
11
12
…
48
Next