CI (Coq, docker) #463
Annotations
1 error and 10 warnings
build-dev:
src/Rewriter/Util/plugins/Ltac2Extra.v#L8
Unregistered primitive "ltac2" "constr_equal_nounivs"
|
build-dev:
src/Rewriter/Util/NatUtil.v#L53
Notation plus_le_compat is deprecated since 8.16.
The Arith.Plus file is obsolete. Use Nat.add_le_mono instead.
|
build-dev:
src/Rewriter/Util/NatUtil.v#L54
Notation mod_mod is deprecated since 8.17. Use Div0.mod_mod instead.
|
build-dev:
src/Rewriter/Util/NatUtil.v#L71
Notation Min.min_case_strong is deprecated since 8.16.
The Arith.Min file is obsolete. Use Nat.min_case_strong instead.
|
build-dev:
src/Rewriter/Util/NatUtil.v#L71
Notation Min.min_case_strong is deprecated since 8.16.
The Arith.Min file is obsolete. Use Nat.min_case_strong instead.
|
build-dev:
src/Rewriter/Util/NatUtil.v#L73
Notation Max.max_case_strong is deprecated since 8.16.
The Arith.Max file is obsolete. Use Nat.max_case_strong instead.
|
build-dev:
src/Rewriter/Util/NatUtil.v#L73
Notation Max.max_case_strong is deprecated since 8.16.
The Arith.Max file is obsolete. Use Nat.max_case_strong instead.
|
build-dev:
src/Rewriter/Util/NatUtil.v#L87
Notation Max.max_case_strong is deprecated since 8.16.
The Arith.Max file is obsolete. Use Nat.max_case_strong instead.
|
build-dev:
src/Rewriter/Util/NatUtil.v#L86
Notation Min.min_case_strong is deprecated since 8.16.
The Arith.Min file is obsolete. Use Nat.min_case_strong instead.
|
build-dev:
src/Rewriter/Util/NatUtil.v#L193
Notation mod_add is deprecated since 8.17. Use Div0.mod_add instead.
|
build-dev:
src/Rewriter/Util/NatUtil.v#L193
Notation mod_add is deprecated since 8.17. Use Div0.mod_add instead.
|