New atomic shifts
New version of atomic WP that doesn't require any laters.
Also includes the previous PR that updates the Rust version and brings the old pcas_spec up to date (hopefully, the new one fulfills the same intent).
Edited by Ralf Jung
New version of atomic WP that doesn't require any laters.
Also includes the previous PR that updates the Rust version and brings the old pcas_spec up to date (hopefully, the new one fulfills the same intent).