Skip to content
CI

Recursive countable #53

Sign in to view logs

Recursive countable

Recursive countable #53

Re-run triggered January 28, 2026 22:02
@rnrandrnrand
#64
banishedKnight1999:recursiveCountable
Status Success
Total duration 13m 0s
Artifacts –

coq-action.yml

on: pull_request
Matrix: build-sqir
Matrix: build-voqc
Fit to window
Zoom out
Zoom in

Annotations

78 warnings
build-sqir (8.18, default): SQIR/GateDecompositions.v#L118
Notation Ropp_div is deprecated since 8.19. Use Rdiv_opp_l.
build-sqir (8.18, default): SQIR/GateDecompositions.v#L118
Notation Ropp_div is deprecated since 8.19. Use Rdiv_opp_l.
build-sqir (8.18, default): SQIR/GateDecompositions.v#L118
Notation Ropp_div is deprecated since 8.19. Use Rdiv_opp_l.
build-sqir (8.18, default): SQIR/GateDecompositions.v#L109
Notation Ropp_div is deprecated since 8.19. Use Rdiv_opp_l.
build-sqir (8.18, default): SQIR/GateDecompositions.v#L109
Notation Ropp_div is deprecated since 8.19. Use Rdiv_opp_l.
build-sqir (8.18, default): SQIR/GateDecompositions.v#L109
Notation Ropp_div is deprecated since 8.19. Use Rdiv_opp_l.
build-sqir (8.18, default): SQIR/GateDecompositions.v#L105
Notation Ropp_div is deprecated since 8.19. Use Rdiv_opp_l.
build-sqir (8.18, default): SQIR/GateDecompositions.v#L105
Notation Ropp_div is deprecated since 8.19. Use Rdiv_opp_l.
build-sqir (8.18, default): SQIR/GateDecompositions.v#L105
Notation Ropp_div is deprecated since 8.19. Use Rdiv_opp_l.
build-sqir (8.20, default): SQIR/GateDecompositions.v#L118
Notation Ropp_div is deprecated since 8.19. Use Rdiv_opp_l.
build-sqir (8.20, default): SQIR/GateDecompositions.v#L118
Notation Ropp_div is deprecated since 8.19. Use Rdiv_opp_l.
build-sqir (8.20, default): SQIR/GateDecompositions.v#L118
Notation Ropp_div is deprecated since 8.19. Use Rdiv_opp_l.
build-sqir (8.20, default): SQIR/GateDecompositions.v#L109
Notation Ropp_div is deprecated since 8.19. Use Rdiv_opp_l.
build-sqir (8.20, default): SQIR/GateDecompositions.v#L109
Notation Ropp_div is deprecated since 8.19. Use Rdiv_opp_l.
build-sqir (8.20, default): SQIR/GateDecompositions.v#L109
Notation Ropp_div is deprecated since 8.19. Use Rdiv_opp_l.
build-sqir (8.20, default): SQIR/GateDecompositions.v#L105
Notation Ropp_div is deprecated since 8.19. Use Rdiv_opp_l.
build-sqir (8.20, default): SQIR/GateDecompositions.v#L105
Notation Ropp_div is deprecated since 8.19. Use Rdiv_opp_l.
build-sqir (8.20, default): SQIR/GateDecompositions.v#L105
Notation Ropp_div is deprecated since 8.19. Use Rdiv_opp_l.
build-sqir (8.20, default): SQIR/NDSem.v#L7
Notations "_ / _" defined at level 40 with arguments constr
build-sqir (8.19, default): SQIR/GateDecompositions.v#L118
Notation Ropp_div is deprecated since 8.19. Use Rdiv_opp_l.
build-sqir (8.19, default): SQIR/GateDecompositions.v#L118
Notation Ropp_div is deprecated since 8.19. Use Rdiv_opp_l.
build-sqir (8.19, default): SQIR/GateDecompositions.v#L118
Notation Ropp_div is deprecated since 8.19. Use Rdiv_opp_l.
build-sqir (8.19, default): SQIR/GateDecompositions.v#L109
Notation Ropp_div is deprecated since 8.19. Use Rdiv_opp_l.
build-sqir (8.19, default): SQIR/GateDecompositions.v#L109
Notation Ropp_div is deprecated since 8.19. Use Rdiv_opp_l.
build-sqir (8.19, default): SQIR/GateDecompositions.v#L109
Notation Ropp_div is deprecated since 8.19. Use Rdiv_opp_l.
build-sqir (8.19, default): SQIR/GateDecompositions.v#L105
Notation Ropp_div is deprecated since 8.19. Use Rdiv_opp_l.
build-sqir (8.19, default): SQIR/GateDecompositions.v#L105
Notation Ropp_div is deprecated since 8.19. Use Rdiv_opp_l.
build-sqir (8.19, default): SQIR/GateDecompositions.v#L105
Notation Ropp_div is deprecated since 8.19. Use Rdiv_opp_l.
build-voqc (8.18, default): VOQC/ChangeRotationBasis.v#L508
Notation Ropp_div is deprecated since 8.19. Use Rdiv_opp_l.
build-voqc (8.18, default): VOQC/ChangeRotationBasis.v#L420
Notation Ropp_inv_permute is deprecated since 8.16. Use Rinv_opp.
build-voqc (8.18, default): VOQC/ChangeRotationBasis.v#L420
Notation Ropp_inv_permute is deprecated since 8.16. Use Rinv_opp.
build-voqc (8.18, default): VOQC/ChangeRotationBasis.v#L420
Notation Ropp_inv_permute is deprecated since 8.16. Use Rinv_opp.
build-voqc (8.18, default): VOQC/ChangeRotationBasis.v#L407
Notation Ropp_inv_permute is deprecated since 8.16. Use Rinv_opp.
build-voqc (8.18, default): VOQC/ChangeRotationBasis.v#L407
Notation Ropp_inv_permute is deprecated since 8.16. Use Rinv_opp.
build-voqc (8.18, default): VOQC/ChangeRotationBasis.v#L407
Notation Ropp_inv_permute is deprecated since 8.16. Use Rinv_opp.
build-voqc (8.18, default): VOQC/ChangeRotationBasis.v#L339
Notation Ropp_div is deprecated since 8.19. Use Rdiv_opp_l.
build-voqc (8.18, default): VOQC/ChangeRotationBasis.v#L339
Notation Ropp_div is deprecated since 8.19. Use Rdiv_opp_l.
build-voqc (8.18, default): VOQC/ChangeRotationBasis.v#L339
Notation Ropp_div is deprecated since 8.19. Use Rdiv_opp_l.
build-voqc (8.19, default): VOQC/ChangeRotationBasis.v#L508
Notation Ropp_div is deprecated since 8.19. Use Rdiv_opp_l.
build-voqc (8.19, default): VOQC/ChangeRotationBasis.v#L420
Notation Ropp_inv_permute is deprecated since 8.16. Use Rinv_opp.
build-voqc (8.19, default): VOQC/ChangeRotationBasis.v#L420
Notation Ropp_inv_permute is deprecated since 8.16. Use Rinv_opp.
build-voqc (8.19, default): VOQC/ChangeRotationBasis.v#L420
Notation Ropp_inv_permute is deprecated since 8.16. Use Rinv_opp.
build-voqc (8.19, default): VOQC/ChangeRotationBasis.v#L407
Notation Ropp_inv_permute is deprecated since 8.16. Use Rinv_opp.
build-voqc (8.19, default): VOQC/ChangeRotationBasis.v#L407
Notation Ropp_inv_permute is deprecated since 8.16. Use Rinv_opp.
build-voqc (8.19, default): VOQC/ChangeRotationBasis.v#L407
Notation Ropp_inv_permute is deprecated since 8.16. Use Rinv_opp.
build-voqc (8.19, default): VOQC/ChangeRotationBasis.v#L339
Notation Ropp_div is deprecated since 8.19. Use Rdiv_opp_l.
build-voqc (8.19, default): VOQC/ChangeRotationBasis.v#L339
Notation Ropp_div is deprecated since 8.19. Use Rdiv_opp_l.
build-voqc (8.19, default): VOQC/ChangeRotationBasis.v#L339
Notation Ropp_div is deprecated since 8.19. Use Rdiv_opp_l.
build-voqc (8.17, default): VOQC/ChangeRotationBasis.v#L855
Notation Rsqr_div is deprecated since 8.16. Use Rsqr_div'.
build-voqc (8.17, default): VOQC/ChangeRotationBasis.v#L855
Notation Rsqr_div is deprecated since 8.16. Use Rsqr_div'.
build-voqc (8.17, default): VOQC/ChangeRotationBasis.v#L855
Notation Rsqr_div is deprecated since 8.16. Use Rsqr_div'.
build-voqc (8.17, default): VOQC/ChangeRotationBasis.v#L855
Notation Rsqr_div is deprecated since 8.16. Use Rsqr_div'.
build-voqc (8.17, default): VOQC/ChangeRotationBasis.v#L420
Notation Ropp_inv_permute is deprecated since 8.16. Use Rinv_opp.
build-voqc (8.17, default): VOQC/ChangeRotationBasis.v#L420
Notation Ropp_inv_permute is deprecated since 8.16. Use Rinv_opp.
build-voqc (8.17, default): VOQC/ChangeRotationBasis.v#L420
Notation Ropp_inv_permute is deprecated since 8.16. Use Rinv_opp.
build-voqc (8.17, default): VOQC/ChangeRotationBasis.v#L407
Notation Ropp_inv_permute is deprecated since 8.16. Use Rinv_opp.
build-voqc (8.17, default): VOQC/ChangeRotationBasis.v#L407
Notation Ropp_inv_permute is deprecated since 8.16. Use Rinv_opp.
build-voqc (8.17, default): VOQC/ChangeRotationBasis.v#L407
Notation Ropp_inv_permute is deprecated since 8.16. Use Rinv_opp.
build-voqc (8.20, default): VOQC/ChangeRotationBasis.v#L508
Notation Ropp_div is deprecated since 8.19. Use Rdiv_opp_l.
build-voqc (8.20, default): VOQC/ChangeRotationBasis.v#L420
Notation Ropp_inv_permute is deprecated since 8.16. Use Rinv_opp.
build-voqc (8.20, default): VOQC/ChangeRotationBasis.v#L420
Notation Ropp_inv_permute is deprecated since 8.16. Use Rinv_opp.
build-voqc (8.20, default): VOQC/ChangeRotationBasis.v#L420
Notation Ropp_inv_permute is deprecated since 8.16. Use Rinv_opp.
build-voqc (8.20, default): VOQC/ChangeRotationBasis.v#L407
Notation Ropp_inv_permute is deprecated since 8.16. Use Rinv_opp.
build-voqc (8.20, default): VOQC/ChangeRotationBasis.v#L407
Notation Ropp_inv_permute is deprecated since 8.16. Use Rinv_opp.
build-voqc (8.20, default): VOQC/ChangeRotationBasis.v#L407
Notation Ropp_inv_permute is deprecated since 8.16. Use Rinv_opp.
build-voqc (8.20, default): VOQC/ChangeRotationBasis.v#L339
Notation Ropp_div is deprecated since 8.19. Use Rdiv_opp_l.
build-voqc (8.20, default): VOQC/ChangeRotationBasis.v#L339
Notation Ropp_div is deprecated since 8.19. Use Rdiv_opp_l.
build-voqc (8.20, default): VOQC/ChangeRotationBasis.v#L339
Notation Ropp_div is deprecated since 8.19. Use Rdiv_opp_l.
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.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#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#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.