Bump rewriter from 4bece97
to f7e3fe5
#575
Annotations
5 errors and 20 warnings
make deps
Makefile.coq:838: src/Coqprime/Tactic/Tactic.v
|
make deps
Makefile.coq.noex:838: /home/runner/work/fiat-crypto/fiat-crypto/rupicola/bedrock2/bedrock2/src/bedrock2/AbsintWordToZ.v
|
make deps
Makefile.coq.noex:409: all
|
make deps
Makefile:68: noex
|
make deps
Makefile:87: bedrock2_noex
|
all-except-generated-and-js-of-ocaml
Could not find a terminator for warning:
File "./src/Util/NatUtil.v", line 15, characters 25-32:
Warning: Notation mod_mod is deprecated since 8.17. Use Div0.mod_mod instead.
[deprecated-syntactic-definition-since-8.17,deprecated-since-8.17,deprecated-syntactic-definition,deprecated,default]
|
all-except-generated-and-js-of-ocaml
Could not find a terminator for warning:
File "./src/Util/NatUtil.v", line 155, characters 43-50:
Warning: Notation mod_add is deprecated since 8.17. Use Div0.mod_add instead.
[deprecated-syntactic-definition-since-8.17,deprecated-since-8.17,deprecated-syntactic-definition,deprecated,default]
|
all-except-generated-and-js-of-ocaml
Could not find a terminator for warning:
File "./src/Util/NatUtil.v", line 155, characters 43-50:
Warning: Notation mod_add is deprecated since 8.17. Use Div0.mod_add instead.
[deprecated-syntactic-definition-since-8.17,deprecated-since-8.17,deprecated-syntactic-definition,deprecated,default]
|
all-except-generated-and-js-of-ocaml
Could not find a terminator for warning:
File "./src/Util/NatUtil.v", line 184, characters 12-23:
Warning: Notation mod_add is deprecated since 8.17. Use Div0.mod_add instead.
[deprecated-syntactic-definition-since-8.17,deprecated-since-8.17,deprecated-syntactic-definition,deprecated,default]
|
all-except-generated-and-js-of-ocaml
Could not find a terminator for warning:
File "./src/Util/NatUtil.v", line 184, characters 12-23:
Warning: Notation mod_add is deprecated since 8.17. Use Div0.mod_add instead.
[deprecated-syntactic-definition-since-8.17,deprecated-since-8.17,deprecated-syntactic-definition,deprecated,default]
|
all-except-generated-and-js-of-ocaml
Could not find a terminator for warning:
File "./src/Util/NatUtil.v", line 184, characters 12-23:
Warning: Notation mod_add is deprecated since 8.17. Use Div0.mod_add instead.
[deprecated-syntactic-definition-since-8.17,deprecated-since-8.17,deprecated-syntactic-definition,deprecated,default]
|
all-except-generated-and-js-of-ocaml
Could not find a terminator for warning:
File "./src/Util/NatUtil.v", line 251, characters 28-36:
Warning: Notation mod_same is deprecated since 8.17.
Use Div0.mod_same instead.
[deprecated-syntactic-definition-since-8.17,deprecated-since-8.17,deprecated-syntactic-definition,deprecated,default]
|
all-except-generated-and-js-of-ocaml
Could not find a terminator for warning:
File "./src/Util/NatUtil.v", line 251, characters 28-36:
Warning: Notation mod_same is deprecated since 8.17.
Use Div0.mod_same instead.
[deprecated-syntactic-definition-since-8.17,deprecated-since-8.17,deprecated-syntactic-definition,deprecated,default]
|
all-except-generated-and-js-of-ocaml
Could not find a terminator for warning:
File "./src/Util/NatUtil.v", line 271, characters 10-17:
Warning: Notation add_mod is deprecated since 8.17. Use Div0.add_mod instead.
[deprecated-syntactic-definition-since-8.17,deprecated-since-8.17,deprecated-syntactic-definition,deprecated,default]
|
all-except-generated-and-js-of-ocaml
Could not find a terminator for warning:
File "./src/Util/NatUtil.v", line 271, characters 10-17:
Warning: Notation add_mod is deprecated since 8.17. Use Div0.add_mod instead.
[deprecated-syntactic-definition-since-8.17,deprecated-since-8.17,deprecated-syntactic-definition,deprecated,default]
|
make deps
Could not find a terminator for warning:
File "./src/Rewriter/Util/NatUtil.v", line 53, characters 35-42:
Warning: Notation mod_mod is deprecated since 8.17. Use Div0.mod_mod instead.
[deprecated-syntactic-definition-since-8.17,deprecated-since-8.17,deprecated-syntactic-definition,deprecated,default]
|
make deps
Could not find a terminator for warning:
File "./src/Rewriter/Util/NatUtil.v", line 192, characters 43-50:
Warning: Notation mod_add is deprecated since 8.17. Use Div0.mod_add instead.
[deprecated-syntactic-definition-since-8.17,deprecated-since-8.17,deprecated-syntactic-definition,deprecated,default]
|
make deps
Could not find a terminator for warning:
File "./src/Rewriter/Util/NatUtil.v", line 192, characters 43-50:
Warning: Notation mod_add is deprecated since 8.17. Use Div0.mod_add instead.
[deprecated-syntactic-definition-since-8.17,deprecated-since-8.17,deprecated-syntactic-definition,deprecated,default]
|
make deps
Could not find a terminator for warning:
File "./src/Rewriter/Util/NatUtil.v", line 221, characters 12-23:
Warning: Notation mod_add is deprecated since 8.17. Use Div0.mod_add instead.
[deprecated-syntactic-definition-since-8.17,deprecated-since-8.17,deprecated-syntactic-definition,deprecated,default]
|
make deps
Could not find a terminator for warning:
File "./src/Rewriter/Util/NatUtil.v", line 221, characters 12-23:
Warning: Notation mod_add is deprecated since 8.17. Use Div0.mod_add instead.
[deprecated-syntactic-definition-since-8.17,deprecated-since-8.17,deprecated-syntactic-definition,deprecated,default]
|
make deps
Could not find a terminator for warning:
File "./src/Rewriter/Util/NatUtil.v", line 221, characters 12-23:
Warning: Notation mod_add is deprecated since 8.17. Use Div0.mod_add instead.
[deprecated-syntactic-definition-since-8.17,deprecated-since-8.17,deprecated-syntactic-definition,deprecated,default]
|
make deps
Could not find a terminator for warning:
File "./src/Rewriter/Util/NatUtil.v", line 287, characters 28-36:
Warning: Notation mod_same is deprecated since 8.17.
Use Div0.mod_same instead.
[deprecated-syntactic-definition-since-8.17,deprecated-since-8.17,deprecated-syntactic-definition,deprecated,default]
|
make deps
Could not find a terminator for warning:
File "./src/Rewriter/Util/NatUtil.v", line 287, characters 28-36:
Warning: Notation mod_same is deprecated since 8.17.
Use Div0.mod_same instead.
[deprecated-syntactic-definition-since-8.17,deprecated-since-8.17,deprecated-syntactic-definition,deprecated,default]
|
make deps
Could not find a terminator for warning:
File "./src/Rewriter/Util/NatUtil.v", line 305, characters 10-17:
Warning: Notation add_mod is deprecated since 8.17. Use Div0.add_mod instead.
[deprecated-syntactic-definition-since-8.17,deprecated-since-8.17,deprecated-syntactic-definition,deprecated,default]
|
make deps
Could not find a terminator for warning:
File "./src/Rewriter/Util/NatUtil.v", line 305, characters 10-17:
Warning: Notation add_mod is deprecated since 8.17. Use Div0.add_mod instead.
[deprecated-syntactic-definition-since-8.17,deprecated-since-8.17,deprecated-syntactic-definition,deprecated,default]
|
The logs for this run have expired and are no longer available.
Loading