------------------------------------------------------------ revno: 534 committer: Jean-Vincent Loddo <lo...@lipn.univ-paris13.fr> branch nick: WORKING timestamp: Wed 2020-06-17 18:12:23 +0000 message: In module Lock_club, added "choosy" (sophisticated) versions of methods `wait' and `require' to be called in protected sections. modified: CORTEX/lock_club.ml CORTEX/lock_club.mli
-- lp:ocamlbricks https://code.launchpad.net/~marionnet-drivers/ocamlbricks/trunk Your team marionnet-dev is subscribed to branch lp:ocamlbricks. To unsubscribe from this branch go to https://code.launchpad.net/~marionnet-drivers/ocamlbricks/trunk/+edit-subscription _______________________________________________ Mailing list: https://launchpad.net/~marionnet-dev Post to : marionnet-dev@lists.launchpad.net Unsubscribe : https://launchpad.net/~marionnet-dev More help : https://help.launchpad.net/ListHelp
