Mentions légales du service
Skip to content
GitLab
Explore
Sign in
Why3
why3
Merge requests
Open
37
Merged
978
Closed
77
All
1,092
Recent searches
{{formattedKey}}
{{ title }}
{{ help }}
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
{{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
Use subcommands instead of options for "why3 config".
!492
· created
Mar 01, 2021
by
Guillaume Melquiond
1.4.0
component: tools
Merged
6
Approved
updated
Mar 02, 2021
Kill the Why3 worker only if no Alt-Ergo workers are running (fix #516).
!491
· created
Feb 28, 2021
by
Guillaume Melquiond
1.4.0
component: trywhy3
Merged
updated
Feb 28, 2021
Add support for Broadway in the deployed image.
!490
· created
Feb 25, 2021
by
Guillaume Melquiond
1.4.0
component: build system
component: graphical user interface
Merged
updated
Feb 25, 2021
Fixes for RAC from SPARK
!489
· created
Feb 24, 2021
by
Benedikt Becker
Merged
updated
Feb 25, 2021
Do not try to move proof attempts to a non-existent prover (fix #553).
!488
· created
Feb 19, 2021
by
Guillaume Melquiond
1.4.0
component: graphical user interface
Merged
updated
Feb 19, 2021
Fix various glitches in the Preferences dialog.
!487
· created
Feb 15, 2021
by
Guillaume Melquiond
1.4.0
component: graphical user interface
Merged
updated
Feb 15, 2021
fix warnings of menhir
!486
· created
Feb 12, 2021
by
MARCHE Claude
Merged
updated
Feb 12, 2021
allow attributes on assignments
!485
· created
Feb 12, 2021
by
MARCHE Claude
Merged
updated
Feb 12, 2021
Prevent creation of out-of-range values during execution (fix #545).
!484
· created
Feb 11, 2021
by
Guillaume Melquiond
1.4.0
component: execution
Merged
updated
Feb 11, 2021
improve module for bit-vectors in program
!483
· created
Feb 10, 2021
by
MARCHE Claude
1.4.0
Merged
1
updated
Feb 10, 2021
Resolve "Add support for recent versions of Z3"
!482
· created
Feb 09, 2021
by
MARCHE Claude
1.4.0
Merged
updated
Feb 09, 2021
Fix error in break_continue test
!481
· created
Feb 09, 2021
by
Xavier Denis
Merged
updated
Feb 10, 2021
fix nightly bench
!480
· created
Feb 08, 2021
by
MARCHE Claude
Merged
updated
Feb 08, 2021
Draft: Simplify euclidean to computer division
!479
· created
Feb 06, 2021
by
François Bobot
1
updated
Mar 07, 2023
Restructure Why3 configuration and autoconfiguration
!478
· created
Feb 06, 2021
by
François Bobot
1.4.0
component: configuration
Merged
35
updated
Mar 22, 2021
Move tests/test-extraction to bench/extraction.
!477
· created
Feb 05, 2021
by
Guillaume Melquiond
1.4.0
component: continuous integration
Merged
updated
Feb 06, 2021
moved micro-C/Python examples from tests/ to examples/
!476
· created
Feb 05, 2021
by
Jean-Christophe Filliâtre
1.4.0
Merged
3
updated
Feb 05, 2021
Fix annoying warning from Menhir
!475
· created
Feb 05, 2021
by
MARCHE Claude
Merged
updated
Feb 05, 2021
Resolve "Consider upgrading the module `mach.float`"
!474
· created
Feb 05, 2021
by
MARCHE Claude
1.4.0
component: theories
Merged
updated
Feb 05, 2021
Move language plugin tests out of tests/
!473
· created
Feb 05, 2021
by
Xavier Denis
Merged
6
updated
Feb 05, 2021
Prev
1
…
27
28
29
30
31
32
33
34
35
…
55
Next