Support for Coq 8.20 #63
Merged
Annotations
10 warnings
|
VOQC/ChangeRotationBasis.v#L855
Notation Rsqr_div is deprecated since 8.16. Use Rsqr_div'.
|
|
VOQC/ChangeRotationBasis.v#L855
Notation Rsqr_div is deprecated since 8.16. Use Rsqr_div'.
|
|
VOQC/ChangeRotationBasis.v#L855
Notation Rsqr_div is deprecated since 8.16. Use Rsqr_div'.
|
|
VOQC/ChangeRotationBasis.v#L855
Notation Rsqr_div is deprecated since 8.16. Use Rsqr_div'.
|
|
VOQC/ChangeRotationBasis.v#L420
Notation Ropp_inv_permute is deprecated since 8.16. Use Rinv_opp.
|
|
VOQC/ChangeRotationBasis.v#L420
Notation Ropp_inv_permute is deprecated since 8.16. Use Rinv_opp.
|
|
VOQC/ChangeRotationBasis.v#L420
Notation Ropp_inv_permute is deprecated since 8.16. Use Rinv_opp.
|
|
VOQC/ChangeRotationBasis.v#L407
Notation Ropp_inv_permute is deprecated since 8.16. Use Rinv_opp.
|
|
VOQC/ChangeRotationBasis.v#L407
Notation Ropp_inv_permute is deprecated since 8.16. Use Rinv_opp.
|
|
VOQC/ChangeRotationBasis.v#L407
Notation Ropp_inv_permute is deprecated since 8.16. Use Rinv_opp.
|
The logs for this run have expired and are no longer available.
Loading