marionnet-dev team mailing list archive

Thread
Date

[Branch ~marionnet-drivers/ocamlbricks/trunk] Rev 553: Fifth satisfactory version of algebraic channels, with tools to better control the non-determinis...

To: marionnet-dev <marionnet-dev@xxxxxxxxxxxxxxxxxxx>
From: noreply@xxxxxxxxxxxxx
Date: Mon, 06 Jul 2020 22:05:35 -0000
Reply-to: noreply@xxxxxxxxxxxxx
Sender: bounces@xxxxxxxxxxxxx

------------------------------------------------------------
revno: 553
committer: Jean-Vincent Loddo <loddo@xxxxxxxxxxxxxxxxxxxx>
branch nick: WORKING
timestamp: Fri 2020-07-03 17:24:41 +0000
message:
  Fifth satisfactory version of algebraic channels, with tools to better control the non-determinism (+). Now, when a method is applied to a disjunction (many "files" stored in the "directory"), we are able to acquire again exactly the same structure acquired the first time, and continue the work on it (module Channel.Control).
modified:
  CORTEX/channel.ml
  CORTEX/channel.mli
  CORTEX/hublet.ml
  CORTEX/lazynel.ml
  CORTEX/lazynel.mli
  CORTEX/milner.ml
  CORTEX/milner.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