Prove the MCS queue lock using GRASShopper

[septract]

See p154 in Herlihy & Shavit.

[MattWindsor91]

@septract once the next two PRQs land, is there anything else I need to do for this?

[septract]

I don't think so, although other things might come up as we do the proof.

…

On 10 March 2017 at 11:30, Matt Windsor ***@***.***> wrote: @septract <https://github.com/septract> once the next two PRQs land, is there anything else I need to do for this? — You are receiving this because you were mentioned. Reply to this email directly, view it on GitHub <#133 (comment)>, or mute the thread <https://github.com/notifications/unsubscribe-auth/AANd9iOh4bcV9wlK2HZEWwuVlgx54SzEks5rkTRcgaJpZM4LynR0> .

-- http://www-users.cs.york.ac.uk/~miked/