Mentions légales du service
Skip to content
GitLab
Explore
Sign in
Why3
why3
Merge requests
Open
0
Merged
45
Closed
4
All
49
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}}
Updated date
Resolve "Emit a warning when "old" does nothing in a specification"
!500
· created
Mar 12, 2021
by
Andrei Paskevich
1.4.0
feature wish
Merged
0
updated
Jul 13, 2021
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
Resolve "destruct/case transformations incorrectly handle polymorphic formulas"
!499
· created
Mar 12, 2021
by
Andrei Paskevich
1.4.0
component: transformations
soundness
Merged
0
updated
Mar 12, 2021
Resolve ""why3 config detect" detects every binary executable only once"
!494
· created
Mar 03, 2021
by
François Bobot
1.4.0
component: configuration
Merged
4
updated
Mar 04, 2021
Correctly handle composite commands in usage and error messages.
!493
· created
Mar 02, 2021
by
Guillaume Melquiond
1.4.0
component: tools
Merged
0
updated
Mar 02, 2021
Use subcommands instead of options for "why3 config".
!492
· created
Mar 01, 2021
by
Guillaume Melquiond
1.4.0
component: tools
Merged
Approved
6
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
0
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
0
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
0
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
0
updated
Feb 15, 2021
Resolve "support for CVC4 1.8"
!454
· created
Feb 01, 2021
by
Benedikt Becker
1.4.0
component: provers
Merged
3
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
0
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 "Consider upgrading the module `mach.bv`"
!464
· created
Feb 03, 2021
by
MARCHE Claude
1.4.0
component: theories
Merged
2
updated
Feb 10, 2021
Resolve "Add support for recent versions of Z3"
!482
· created
Feb 09, 2021
by
MARCHE Claude
1.4.0
Merged
0
updated
Feb 09, 2021
[Doc] Add documentation for Tagset
!436
· created
Jan 22, 2021
by
François Bobot
1.4.0
Merged
Approved
0
updated
Feb 07, 2021
Resolve "Add srem and sdiv operations on bitvectors"
!463
· created
Feb 03, 2021
by
MARCHE Claude
1.4.0
component: provers
component: theories
Merged
2
updated
Feb 06, 2021
Move tests/test-extraction to bench/extraction.
!477
· created
Feb 05, 2021
by
Guillaume Melquiond
1.4.0
component: continuous integration
Merged
0
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
Resolve "Consider upgrading the module `mach.float`"
!474
· created
Feb 05, 2021
by
MARCHE Claude
1.4.0
component: theories
Merged
0
updated
Feb 05, 2021
Prev
1
2
3
Next