Enhance proportionality #114
wjbsAnnotations
3 errors and 31 warnings
|
build (8.17, default):
src/CoreData/Proportional.v#L325
The default value for hint locality is currently "global" outside
|
|
build (8.16, default):
src/DiagramRules/Soundness.v#L55
The reference Rdiv_diag was not found in the current environment.
|
|
build (8.16, default):
src/CoreRules/SwapRules.v#L361
The reference Nat.measure_induction was not found in the current
|
|
build (8.17, default)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
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.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#L240
Notation Nat.mod_0_l is deprecated since 8.17.
|
|
build (8.16, default)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
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
|
|
build (8.16, default):
src/CoreData/Proportional.v#L325
The default value for hint locality is currently "local" in a
|
|
build (8.16, default):
src/CoreData/Proportional.v#L327
The default value for hint locality is currently "local" in a
|
|
build (8.16, default):
src/CoreData/Proportional.v#L329
The default value for hint locality is currently "local" in a
|
|
build (8.16, default):
src/CoreData/Proportional.v#L331
The default value for hint locality is currently "local" in a
|
|
build (8.16, default):
src/CoreData/Proportional.v#L720
The default value for instance locality is currently "local" in a
|
|
build (8.18, default)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
build (8.18, default):
src/CoreData/SemanticCore.v#L99
Notation hadamard_sa is deprecated. Use hadamard_hermitian instead
|
|
build (8.18, default):
src/CoreData/SemanticCore.v#L99
Notation hadamard_sa is deprecated. Use hadamard_hermitian instead
|
|
build (8.18, default):
src/CoreData/SemanticCore.v#L99
Notation hadamard_sa is deprecated. Use hadamard_hermitian instead
|
|
build (8.18, default):
src/CoreData/SemanticCore.v#L239
Notation Nat.div_0_l is deprecated since 8.17.
|
|
build (8.18, default):
src/CoreData/SemanticCore.v#L239
Notation Nat.div_0_l is deprecated since 8.17.
|
|
build (8.18, default):
src/CoreData/SemanticCore.v#L239
Notation Nat.div_0_l is deprecated since 8.17.
|
|
build (8.18, default):
src/CoreData/SemanticCore.v#L239
Notation Nat.div_0_l is deprecated since 8.17.
|
|
build (8.18, default):
src/CoreData/SemanticCore.v#L239
Notation Nat.div_0_l is deprecated since 8.17.
|
|
build (8.18, default):
src/CoreData/SemanticCore.v#L239
Notation Nat.div_0_l is deprecated since 8.17.
|
|
build (8.18, default):
src/CoreData/SemanticCore.v#L240
Notation Nat.mod_0_l is deprecated since 8.17.
|