Mentions légales du service
Skip to content
GitLab
Explore
Sign in
Why3
why3
Merge requests
Open
0
Merged
13
Closed
1
All
14
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
Improve subst
!979
· created
Nov 13, 2023
by
Andrei Paskevich
1.7.0
component: transformations
Merged
0
updated
Nov 14, 2023
Avoid creating "not not" when splitting goals.
!960
· created
Sep 25, 2023
by
Guillaume Melquiond
1.7.0
component: transformations
Closed
0
updated
Nov 13, 2023
Resolve "Typing error in smt generated for CVC4/cvc5 with range types"
!874
· created
May 05, 2023
by
MARCHE Claude
1.6.1
ProofInUse/TrustInSoft
component: transformations
Merged
1
0
updated
May 16, 2023
separate transformations for intros, dequant, and remove_unused
!866
· created
Apr 24, 2023
by
MARCHE Claude
1.7.0
ProofInUse/AdaCore
ProofInUse/TrustInSoft
component: counterexample
component: graphical user interface
component: transformations
Merged
3
updated
Apr 25, 2023
Prevent `eliminate_if` to fail
!833
· created
Mar 21, 2023
by
Guillaume Cluzel
1.6.1
ProofInUse/TrustInSoft
To be discussed
component: transformations
Merged
6
updated
Jul 18, 2023
Resolve "remove_unused:dependency not strong enough with definition given in drivers"
!755
· created
Oct 20, 2022
by
MARCHE Claude
ProofInUse/TrustInSoft
component: transformations
Merged
0
updated
Oct 20, 2022
Resolve "Optimize or disable simplify_trivial_quantification"
!744
· created
Oct 04, 2022
by
MOREAU Solene
To be discussed
component: provers
component: transformations
Merged
Approved
1
updated
Oct 19, 2022
Resolve "Error with remove_unused when a meta is associated to a symbol"
!720
· created
Jul 27, 2022
by
MARCHE Claude
ProofInUse/AdaCore
component: transformations
Merged
0
updated
Jul 28, 2022
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
transformation error: improve apply error on withed terms
!252
· created
Oct 28, 2019
by
DAILLER Sylvain
component: transformations
Merged
0
updated
Oct 28, 2019
Make sure that term comparison takes locations into account (fixes #366).
!207
· created
Jul 12, 2019
by
Guillaume Melquiond
component: transformations
Merged
2
updated
Jul 16, 2019
Resolve "Removing Inline_trivial"
!91
· created
Feb 12, 2019
by
MARCHE Claude
component: provers
component: transformations
Merged
0
updated
Feb 12, 2019
Resolve "destruct improvement with if then else"
!85
· created
Feb 06, 2019
by
Benedikt Becker
component: transformations
Merged
0
updated
Feb 08, 2019
Resolve "destruct improvement with if then else"
!84
· created
Feb 05, 2019
by
Benedikt Becker
component: transformations
Merged
0
updated
Feb 05, 2019