You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Is there anything I need to know about using the safe Api to prevent unsoundness?
I had to fork an unmaintained library whose only dependency is sprs, it does not use any unsafe but I'm experiencing really weird bugs that don't make any sense, and that seem to be UB. They happen only in opt-mode >= 1 and miri doesn't seem to catch anything