Skip to content

WIP: Add treiber's stack

Ghost User requested to merge (removed):treiber into master

Implement the treiber's stack pop, push and iter. The first two's specs are given as logically atomic triples.

Merge request reports