The source project of this merge request has been removed.
Add wp_store_weak
This adds a wp_store_weak which does not track predecessors of the old value. I tried to factorize proofs as much as possible, but there is still some duplication.
GitLab upgrade completed. Current version is 17.11.1. We now benefit from the features of the release 17.11.
This adds a wp_store_weak which does not track predecessors of the old value. I tried to factorize proofs as much as possible, but there is still some duplication.