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}}
Label priority
Change VC generation for "while true".
!649
· created
Mar 31, 2022
by
Jacques-Henri Jourdan
Merged
Approved
1
6
updated
Apr 01, 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
Support isabelle 2021-1
!645
· created
Mar 24, 2022
by
MARCHE Claude
Merged
0
updated
Mar 24, 2022
Export a function to add custom expl prefixes in the API
!644
· created
Mar 24, 2022
by
Guillaume Cluzel
Merged
0
updated
Mar 24, 2022
fix for the CVC4 1.8 printing bug for float constants
!642
· created
Mar 24, 2022
by
MARCHE Claude
Merged
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
Resolve "Petiot 2018 experiments not reproducible with Z3"
!637
· created
Mar 15, 2022
by
MOREAU Solene
component: counterexample
Merged
4
updated
Mar 28, 2022
Resolve "update steplimits support for Z3"
!636
· created
Mar 15, 2022
by
MOREAU Solene
Merged
3
updated
Mar 16, 2022
Resolve "port CE bench and check-ce bench to newer versions of provers"
!634
· created
Mar 14, 2022
by
MOREAU Solene
component: counterexample
component: provers
Merged
12
updated
Mar 30, 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
Be more explicit in the description of why3config (fix #603).
!631
· created
Mar 11, 2022
by
Guillaume Melquiond
1.5.0
component: documentation
component: tools
Merged
0
updated
Mar 11, 2022
Small fixes
!630
· created
Mar 09, 2022
by
Guillaume Melquiond
1.5.0
Merged
0
updated
Mar 09, 2022
Fix various bugs when interpreting real and floating-point numbers
!629
· created
Feb 19, 2022
by
Guillaume Melquiond
1.5.0
component: execution
Merged
0
updated
Feb 19, 2022
Remove the warning for not modified variables used under old with an attribute
!628
· created
Feb 17, 2022
by
Guillaume Cluzel
Merged
1
updated
Feb 17, 2022
Improve support for mlmpfr.
!627
· created
Feb 17, 2022
by
Guillaume Melquiond
1.4.1
component: build system
Merged
0
updated
Feb 17, 2022
Resolve "Rac checker returns incorrect result with expl attr"
!626
· created
Feb 17, 2022
by
MARCHE Claude
component: counterexample
Merged
0
updated
Feb 18, 2022
Prev
1
…
16
17
18
19
20
21
22
23
24
…
48
Next