Mentions légales du service
Skip to content
GitLab
Explore
Sign in
Why3
why3
Merge requests
Open
0
Merged
44
Closed
4
All
48
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}}
Created date
Resolve "Extraction of records with a single field"
!666
· created
Apr 25, 2022
by
Andrei Paskevich
1.5.0
component: extraction
Merged
0
updated
Apr 25, 2022
Resolve "field pretty printing"
!665
· created
Apr 25, 2022
by
MARCHE Claude
1.5.0
Merged
0
updated
Apr 26, 2022
Do not fail on invalid entries in PATH.
!664
· created
Apr 25, 2022
by
Guillaume Melquiond
1.5.0
component: configuration
Merged
0
updated
Apr 25, 2022
extraction: simplify patterns for optimizable records (fix #562)
!663
· created
Apr 25, 2022
by
Andrei Paskevich
1.5.0
component: extraction
Closed
0
updated
Apr 25, 2022
Convert the API documentation to UTF8.
!662
· created
Apr 22, 2022
by
Guillaume Melquiond
1.5.0
component: documentation
Merged
2
updated
Apr 22, 2022
Do not handle 'match with exception' as 'try with' in the surface language.
!658
· created
Apr 19, 2022
by
Guillaume Melquiond
1.5.0
component: core
component: syntax
Merged
0
updated
Apr 20, 2022
Resolve "Allow to specify a specific filename for the proofscript"
!656
· created
Apr 06, 2022
by
MOREAU Solene
1.5.0
Merged
Approved
0
updated
Apr 06, 2022
Resolve "Fix missing capture of incompleteness errors in RAC"
!655
· created
Apr 06, 2022
by
MOREAU Solene
1.5.0
component: counterexample
Merged
Approved
0
updated
Apr 06, 2022
Resolve "Fix drivers for SMT-LIB strings"
!654
· created
Apr 06, 2022
by
MARCHE Claude
1.5.0
Merged
1
updated
Apr 06, 2022
Resolve "Fix detection of [prover] section in configuration file"
!653
· created
Apr 01, 2022
by
MOREAU Solene
1.5.0
Merged
4
updated
Apr 05, 2022
Draft: Resolve "Why3 does not accept unknown versions of Z3"
!652
· created
Apr 01, 2022
by
MARCHE Claude
1.5.0
component: configuration
Closed
3
updated
Apr 01, 2022
Resolve "Support for Z3 4.8.11 to 4.8.13"
!650
· created
Mar 31, 2022
by
MARCHE Claude
1.5.0
component: provers
Merged
0
updated
Mar 31, 2022
Resolve "Update CE benchs to CVC4 1.8"
!647
· created
Mar 28, 2022
by
MOREAU Solene
1.5.0
Merged
Approved
7
updated
Apr 07, 2022
Rework the auto-detection code.
!646
· created
Mar 25, 2022
by
Guillaume Melquiond
1.5.0
component: configuration
Merged
3
updated
Jun 20, 2022
Draft: Support isabelle 2021 1
!643
· created
Mar 24, 2022
by
MARCHE Claude
1.5.0
Closed
0
updated
Mar 24, 2022
Improve TryWhy3
!641
· created
Mar 18, 2022
by
Guillaume Melquiond
1.5.0
component: trywhy3
Merged
0
updated
Mar 18, 2022
Compatibility with MPFR 4.1.0
!640
· created
Mar 17, 2022
by
François Bobot
1.5.0
component: build system
Merged
2
updated
Mar 17, 2022
Convert the floating-point realizations to Flocq.BinarySingleNaN.
!639
· created
Mar 15, 2022
by
Guillaume Melquiond
1.5.0
component: realizations
Merged
1
0
updated
Mar 15, 2022
Print real numbers directly from their internal representation.
!638
· created
Mar 15, 2022
by
Guillaume Melquiond
1.5.0
component: provers
Merged
Approved
4
updated
Mar 16, 2022
Be more robust with paths that are not quite absolute (fix #606).
!632
· created
Mar 11, 2022
by
Guillaume Melquiond
1.5.0
Merged
0
updated
Mar 11, 2022
Prev
1
2
3
Next