Merge pull request #56 from timotheeMM/patch-1 #36
rnrandAnnotations
51 warnings
|
build-voqc (dev, default)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
build-sqir (dev, default)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
build-voqc (8.17, default)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
build-sqir (8.17, default)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
build-sqir (8.16, default)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
build-sqir (8.16, default):
SQIR/UnitarySem.v#L567
The default value for rewriting hint locality is currently "local"
|
|
build-sqir (8.16, default):
SQIR/UnitarySem.v#L569
The default value for rewriting hint locality is currently "local"
|
|
build-sqir (8.16, default):
SQIR/UnitaryOps.v#L55
The default value for rewriting hint locality is currently "local"
|
|
build-sqir (8.16, default):
SQIR/UnitaryOps.v#L390
The default value for rewriting hint locality is currently "local"
|
|
build-sqir (8.16, default):
SQIR/UnitaryOps.v#L398
The default value for rewriting hint locality is currently "local"
|
|
build-sqir (8.16, default):
SQIR/UnitaryOps.v#L586
The default value for rewriting hint locality is currently "local"
|
|
build-sqir (8.16, default):
SQIR/GateDecompositions.v#L71
The default value for rewriting hint locality is currently "local"
|
|
build-sqir (8.15, default)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
build-sqir (8.15, default):
SQIR/UnitarySem.v#L567
The default value for rewriting hint locality is currently "local"
|
|
build-sqir (8.15, default):
SQIR/UnitarySem.v#L569
The default value for rewriting hint locality is currently "local"
|
|
build-sqir (8.15, default):
SQIR/UnitaryOps.v#L55
The default value for rewriting hint locality is currently "local"
|
|
build-sqir (8.15, default):
SQIR/UnitaryOps.v#L390
The default value for rewriting hint locality is currently "local"
|
|
build-sqir (8.15, default):
SQIR/UnitaryOps.v#L398
The default value for rewriting hint locality is currently "local"
|
|
build-sqir (8.15, default):
SQIR/UnitaryOps.v#L586
The default value for rewriting hint locality is currently "local"
|
|
build-sqir (8.15, default):
SQIR/GateDecompositions.v#L71
The default value for rewriting hint locality is currently "local"
|
|
build-sqir (8.14, default)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
build-sqir (8.14, default):
SQIR/UnitarySem.v#L567
The default value for rewriting hint locality is currently "local"
|
|
build-sqir (8.14, default):
SQIR/UnitarySem.v#L569
The default value for rewriting hint locality is currently "local"
|
|
build-sqir (8.14, default):
SQIR/UnitaryOps.v#L55
The default value for rewriting hint locality is currently "local"
|
|
build-sqir (8.14, default):
SQIR/UnitaryOps.v#L390
The default value for rewriting hint locality is currently "local"
|
|
build-sqir (8.14, default):
SQIR/UnitaryOps.v#L398
The default value for rewriting hint locality is currently "local"
|
|
build-sqir (8.14, default):
SQIR/UnitaryOps.v#L586
The default value for rewriting hint locality is currently "local"
|
|
build-sqir (8.14, default):
SQIR/GateDecompositions.v#L71
The default value for rewriting hint locality is currently "local"
|
|
build-sqir (8.13, default)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
build-voqc (8.15, default)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
build-voqc (8.15, default):
VOQC/ChangeRotationBasis.v#L1405
The default value for rewriting hint locality is currently "local"
|
|
build-voqc (8.15, default):
VOQC/ChangeRotationBasis.v#L1406
The default value for rewriting hint locality is currently "local"
|
|
build-voqc (8.15, default):
VOQC/NonUnitaryListRepresentation.v#L179
The default value for rewriting hint locality is currently "local"
|
|
build-sqir (8.12, default)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
build-voqc (8.16, default)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
build-voqc (8.16, default):
VOQC/UnitaryListRepresentation.v#L445
Notation beq_nat_false is deprecated since 8.16.
|
|
build-voqc (8.16, default):
VOQC/ChangeRotationBasis.v#L407
Notation Ropp_inv_permute is deprecated since 8.16. Use Rinv_opp.
|
|
build-voqc (8.16, default):
VOQC/ChangeRotationBasis.v#L407
Notation Ropp_inv_permute is deprecated since 8.16. Use Rinv_opp.
|
|
build-voqc (8.16, default):
VOQC/ChangeRotationBasis.v#L407
Notation Ropp_inv_permute is deprecated since 8.16. Use Rinv_opp.
|
|
build-voqc (8.16, default):
VOQC/ChangeRotationBasis.v#L420
Notation Ropp_inv_permute is deprecated since 8.16. Use Rinv_opp.
|
|
build-voqc (8.16, default):
VOQC/ChangeRotationBasis.v#L420
Notation Ropp_inv_permute is deprecated since 8.16. Use Rinv_opp.
|
|
build-voqc (8.16, default):
VOQC/ChangeRotationBasis.v#L420
Notation Ropp_inv_permute is deprecated since 8.16. Use Rinv_opp.
|
|
build-voqc (8.16, default):
VOQC/ChangeRotationBasis.v#L855
Notation Rsqr_div is deprecated since 8.16. Use Rsqr_div'.
|
|
build-voqc (8.16, default):
VOQC/ChangeRotationBasis.v#L855
Notation Rsqr_div is deprecated since 8.16. Use Rsqr_div'.
|
|
build-voqc (8.16, default):
VOQC/ChangeRotationBasis.v#L855
Notation Rsqr_div is deprecated since 8.16. Use Rsqr_div'.
|
|
build-voqc (8.14, default)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
build-voqc (8.14, default):
VOQC/ChangeRotationBasis.v#L1405
The default value for rewriting hint locality is currently "local"
|
|
build-voqc (8.14, default):
VOQC/ChangeRotationBasis.v#L1406
The default value for rewriting hint locality is currently "local"
|
|
build-voqc (8.14, default):
VOQC/NonUnitaryListRepresentation.v#L179
The default value for rewriting hint locality is currently "local"
|
|
build-voqc (8.13, default)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
build-voqc (8.12, default)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|