Skip to content

two more styles of lock spec

William Manskyrequested to merge
wmansky/examples:master into master

Added two more styles of lock spec with explicit share; I believe they can be proved equivalent to the existing ones, but I don't have the proofs.

Merge request reports