Closed yuewuo closed 1 year ago
The dangerous pointer feature is stable now. Especially in serial solvers, there is no reason to use excessive locks anymore. The locks are designed to pass Rust's memory safety checks, but they are carefully designed to not need any locks.
The dangerous pointer feature is stable now. Especially in serial solvers, there is no reason to use excessive locks anymore. The locks are designed to pass Rust's memory safety checks, but they are carefully designed to not need any locks.