CI (Coq, docker) #74
Annotations
10 warnings
|
all:
src/Rewriter/Util/NatUtil.v#L53
Notation mod_mod is deprecated since 8.17. Use Div0.mod_mod instead.
|
|
all:
src/Rewriter/Util/NatUtil.v#L192
Notation mod_add is deprecated since 8.17. Use Div0.mod_add instead.
|
|
all:
src/Rewriter/Util/NatUtil.v#L192
Notation mod_add is deprecated since 8.17. Use Div0.mod_add instead.
|
|
all:
src/Rewriter/Util/NatUtil.v#L221
Notation mod_add is deprecated since 8.17. Use Div0.mod_add instead.
|
|
all:
src/Rewriter/Util/NatUtil.v#L221
Notation mod_add is deprecated since 8.17. Use Div0.mod_add instead.
|
|
all:
src/Rewriter/Util/NatUtil.v#L221
Notation mod_add is deprecated since 8.17. Use Div0.mod_add instead.
|
|
all:
src/Rewriter/Util/NatUtil.v#L287
Notation mod_same is deprecated since 8.17.
Use Div0.mod_same instead.
|
|
all:
src/Rewriter/Util/NatUtil.v#L287
Notation mod_same is deprecated since 8.17.
Use Div0.mod_same instead.
|
|
all:
src/Rewriter/Util/NatUtil.v#L305
Notation add_mod is deprecated since 8.17. Use Div0.add_mod instead.
|
|
all:
src/Rewriter/Util/NatUtil.v#L305
Notation add_mod is deprecated since 8.17. Use Div0.add_mod instead.
|
The logs for this run have expired and are no longer available.
Loading