Merge pull request #747 from proux01/coq_18164 #938
Annotations
11 warnings
|
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/upload-artifact@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
compcert/lib/Coqlib.v#L1055
Notation app_nil_end is deprecated since 8.18.
|
|
compcert/lib/Coqlib.v#L1055
Notation app_nil_end is deprecated since 8.18.
|
|
compcert/lib/Coqlib.v#L1055
Notation app_nil_end is deprecated since 8.18.
|
|
compcert/lib/IEEE754_extra.v#L434
Notation IZR_neq is deprecated since 8.19.
|
|
compcert/lib/IEEE754_extra.v#L434
Notation IZR_neq is deprecated since 8.19.
|
|
compcert/lib/IEEE754_extra.v#L1039
Notation Ropp_inv_permute is deprecated since 8.16. Use Rinv_opp.
|
|
compcert/lib/IEEE754_extra.v#L1039
Notation Ropp_inv_permute is deprecated since 8.16. Use Rinv_opp.
|
|
compcert/lib/IEEE754_extra.v#L1039
Notation Ropp_inv_permute is deprecated since 8.16. Use Rinv_opp.
|
|
compcert/lib/IEEE754_extra.v#L1039
Notation Ropp_inv_permute is deprecated since 8.16. Use Rinv_opp.
|
|
compcert/lib/Maps.v#L1132
Notation app_ass is deprecated since 8.18. Use app_assoc instead.
|
The logs for this run have expired and are no longer available.
Loading