Port VST 2.x to CompCert master #1078
Annotations
2 errors and 2 warnings
The run was canceled by @andrew-appel.
|
|
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.
|
This job was cancelled
Loading