The source project of this merge request has been removed.
WIP: Add treiber's stack
Implement the treiber's stack pop
, push
and iter
. The first two's specs are given as logically atomic triples.
Implement the treiber's stack pop
, push
and iter
. The first two's specs are given as logically atomic triples.