Mentions légales du service
Skip to content
GitLab
Explore
Sign in
Why3
why3
Merge requests
Open
1
Merged
23
Closed
2
All
26
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
Resolve "Allow running prover in parallel in strategies"
!953
· created
Sep 11, 2023
by
MARCHE Claude
1.7.0
Hackathon
ProofInUse/AdaCore
ProofInUse/TrustInSoft
Merged
0
updated
Sep 12, 2023
Draft: Resolve "Allow running prover in parallel in strategies"
!952
· created
Sep 11, 2023
by
MARCHE Claude
1.7.0
Hackathon
ProofInUse/AdaCore
ProofInUse/TrustInSoft
Closed
0
updated
Sep 11, 2023
Review the set of 'old versions' of provers
!929
· created
Aug 01, 2023
by
Matteo Manighetti
1.7.0
Hackathon
ProofInUse/AdaCore
component: provers
Merged
1
updated
Aug 29, 2023
Resolve "Add injectivity for type invariant"
6 of 6 checklist items completed
!911
· created
Jun 27, 2023
by
Loïc Correnson
1.8.0
Hackathon
component: wp
Merged
12
updated
Feb 01, 2024
Resolve "Wrong smtlib file generation for ieee_float.FloatXX.in_range (at least) for CVC4"
!331
· created
Mar 04, 2020
by
MARCHE Claude
1.3.0
Hackathon
component: provers
Merged
0
updated
Mar 04, 2020
Resolve "set logic to ALL_SUPPORTED for CVC4"
!317
· created
Feb 13, 2020
by
MARCHE Claude
1.3.0
Hackathon
Merged
0
updated
Feb 13, 2020
Resolve "Rename `axiom` into `hypothesis` in task printing"
!265
· created
Nov 08, 2019
by
MARCHE Claude
1.3.0
Hackathon
Merged
0
updated
Nov 08, 2019
Resolve "why3extract library obsolete"
!188
· created
Jun 21, 2019
by
MARCHE Claude
1.3.0
Hackathon
Merged
4
updated
Jun 21, 2019
Resolve "Missing lots of standard modules in the documentation"
!169
· created
Jun 05, 2019
by
MARCHE Claude
1.3.0
Hackathon
component: documentation
Merged
0
updated
Jun 05, 2019
New default strategy with longer time (5s) and no transformations
!167
· created
Jun 05, 2019
by
Rehan MALAK
1.3.0
Hackathon
component: graphical user interface
Merged
1
updated
Jun 07, 2019
Resolve "remove dependency on rubber"
!158
· created
Jun 05, 2019
by
MARCHE Claude
1.3.0
Hackathon
component: build system
Merged
7
updated
Jun 06, 2019
Have uniform file path inputs in the itp server
!117
· created
Apr 08, 2019
by
DAILLER Sylvain
1.3.0
Hackathon
Merged
0
updated
Nov 13, 2019
Draft: Resolve "keep less unused symbols"
!859
· created
Apr 18, 2023
by
MARCHE Claude
Hackathon
component: counterexample
0
updated
Sep 06, 2023
Resolve "Attributes before a `let` in a formula are lost"
!840
· created
Apr 03, 2023
by
BONNOT Paul
Hackathon
ProofInUse/TrustInSoft
Merged
0
updated
Apr 30, 2023
Resolve "CVC4 driver does not escape `is`"
!767
· created
Nov 14, 2022
by
MOREAU Solene
Hackathon
Merged
1
updated
Nov 15, 2022
Resolve "Named results shadow parameter names"
!274
· created
Nov 08, 2019
by
DIVERIO Diego
Hackathon
component: syntax
Merged
0
updated
Nov 12, 2019
Resolve "eliminate_if transformation explodes"
!272
· created
Nov 08, 2019
by
MARCHE Claude
Hackathon
Merged
0
updated
Nov 13, 2019
Mpfr minorfix
!270
· created
Nov 08, 2019
by
MARCHE Claude
Hackathon
Merged
0
updated
Nov 08, 2019
Error for `syntax function/constant/predicate` in pdrivers
!268
· created
Nov 08, 2019
by
Benedikt Becker
Hackathon
Merged
3
updated
Nov 13, 2019
Resolve "avoid jumping after deleting a detached subgoal"
!266
· created
Nov 08, 2019
by
Claudio Belo Lourenco
Hackathon
Merged
0
updated
Nov 12, 2019
Prev
1
2
Next