update ci script (#56) #85
Annotations
10 warnings
|
Util/Nat/NatCompat.v#L1
"From Coq" has been replaced by "From Stdlib".
|
|
Util/Logic/LogicUtil.v#L14
"From Coq" has been replaced by "From Stdlib".
|
|
Util/Logic/EpsilonUtil.v#L12
"From Coq" has been replaced by "From Stdlib".
|
|
Util/Nat/LeastNat.v#L11
"From Coq" has been replaced by "From Stdlib".
|
|
Coccinelle/basis/decidable_set.v#L12
"From Coq" has been replaced by "From Stdlib".
|
|
Coccinelle/list_extensions/equiv_list.v#L12
"From Coq" has been replaced by "From Stdlib".
|
|
Coccinelle/basis/TransClosure.v#L14
"From Coq" has been replaced by "From Stdlib".
|
|
Coccinelle/basis/ordered_set.v#L12
"From Coq" has been replaced by "From Stdlib".
|
|
Coccinelle/basis/terminaison.v#L1
"From Coq" has been replaced by "From Stdlib".
|
|
Coccinelle/examples/cime_trace/arith_extension.v#L1
"From Coq" has been replaced by "From Stdlib".
|
The logs for this run have expired and are no longer available.
Loading