Add permutations #107
wjbsAnnotations
2 errors and 26 warnings
|
build (8.17, default):
src/Permutations/PermutationAuxiliary.v#L549
[Focus] Wrong bullet -: Current bullet - is not finished.
|
|
build (8.16, default):
src/Permutations/PermutationAutomation.v#L451
The reference Nat.Div0.mod_add was not found in the current
|
|
build (8.18, default)
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
|
build (8.18, default):
src/CoreData/QlibTemp.v#L41
Notation S_O_plus_INR is deprecated since 8.19.
|
|
build (8.18, default):
src/CoreData/QlibTemp.v#L41
Notation S_O_plus_INR is deprecated since 8.19.
|
|
build (8.18, default):
src/CoreData/QlibTemp.v#L41
Notation S_O_plus_INR is deprecated since 8.19.
|
|
build (8.18, default):
src/CoreData/QlibTemp.v#L142
Notation double is deprecated since 8.19. Use Rplus_diag.
|
|
build (8.18, default):
src/CoreData/QlibTemp.v#L142
Notation double is deprecated since 8.19. Use Rplus_diag.
|
|
build (8.18, default):
src/CoreData/QlibTemp.v#L142
Notation double is deprecated since 8.19. Use Rplus_diag.
|
|
build (8.18, default):
src/Permutations/MatEquivSetoid.v#L216
Notation Nat.div_lt_upper_bound is deprecated since 8.17.
|
|
build (8.18, default):
src/Permutations/MatEquivSetoid.v#L216
Notation Nat.div_lt_upper_bound is deprecated since 8.17.
|
|
build (8.18, default):
src/Permutations/MatEquivSetoid.v#L216
Notation Nat.div_lt_upper_bound is deprecated since 8.17.
|
|
build (8.18, default):
src/CoreData/SemanticCore.v#L99
Notation hadamard_sa is deprecated. Use hadamard_hermitian instead
|
|
build (8.17, default)
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
|
build (8.17, default):
src/Permutations/MatEquivSetoid.v#L216
Notation Nat.div_lt_upper_bound is deprecated since 8.17.
|
|
build (8.17, default):
src/Permutations/MatEquivSetoid.v#L216
Notation Nat.div_lt_upper_bound is deprecated since 8.17.
|
|
build (8.17, default):
src/Permutations/MatEquivSetoid.v#L216
Notation Nat.div_lt_upper_bound is deprecated since 8.17.
|
|
build (8.17, default):
src/CoreData/SemanticCore.v#L99
Notation hadamard_sa is deprecated. Use hadamard_hermitian instead
|
|
build (8.17, default):
src/CoreData/SemanticCore.v#L99
Notation hadamard_sa is deprecated. Use hadamard_hermitian instead
|
|
build (8.17, default):
src/CoreData/SemanticCore.v#L99
Notation hadamard_sa is deprecated. Use hadamard_hermitian instead
|
|
build (8.17, default):
src/CoreData/SemanticCore.v#L239
Notation Nat.div_0_l is deprecated since 8.17.
|
|
build (8.17, default):
src/CoreData/SemanticCore.v#L239
Notation Nat.div_0_l is deprecated since 8.17.
|
|
build (8.17, default):
src/CoreData/SemanticCore.v#L239
Notation Nat.div_0_l is deprecated since 8.17.
|
|
build (8.17, default):
src/CoreData/SemanticCore.v#L239
Notation Nat.div_0_l is deprecated since 8.17.
|
|
build (8.16, default)
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
|
build (8.16, default):
src/CoreData/SemanticCore.v#L99
Notation hadamard_sa is deprecated. Use hadamard_hermitian instead
|
|
build (8.16, default):
src/CoreData/SemanticCore.v#L99
Notation hadamard_sa is deprecated. Use hadamard_hermitian instead
|
|
build (8.16, default):
src/CoreData/SemanticCore.v#L99
Notation hadamard_sa is deprecated. Use hadamard_hermitian instead
|