lizhanhui opened this issue a year ago · 0 comments
As we are going to use SIMD, some unsafe blocks will be required. Miri pipeline would be helpful to ensure memory safety.