Closed MikMikus closed 4 months ago
I think extern "platform-intrinsic"
block needs to be replaced with core_intrinsics
feature and use std::intrinsics::simd::*;
, I will start working on it tomorrow using https://github.com/model-checking/kani/pull/3052/files as reference.
on
main
branch for1.78.0-nightly (c475e2303 2024-02-28)
related to: https://github.com/servo/pathfinder/issues/550 and https://github.com/servo/pathfinder/pull/548