require Arith and use RelationClasses (for stdlib#150 and stdlib#152)#821
Closed
andres-erbsen wants to merge 1 commit into
Closed
require Arith and use RelationClasses (for stdlib#150 and stdlib#152)#821andres-erbsen wants to merge 1 commit into
andres-erbsen wants to merge 1 commit into
Annotations
6 warnings
|
concurrency/semax_conc_pred.v#L20
Notation "_ oo _" was already used.
|
|
floyd/proofauto.v#L61
The '%' scope delimiter in 'Arguments' commands is deprecated, use
|
|
floyd/canon.v#L505
The '%' scope delimiter in 'Arguments' commands is deprecated, use
|
|
floyd/canon.v#L14
The '%' scope delimiter in 'Arguments' commands is deprecated, use
|
|
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.
|
The logs for this run have expired and are no longer available.
Loading