Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
start to make generic simcalls observable from the MC
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Mon, 12 Aug 2019 10:21:51 +0000 (12:21 +0200)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Thu, 15 Aug 2019 13:37:41 +0000 (15:37 +0200)
WIP, done in the easy parts for now.

Not finished in MC_state_get_request_for_process() yet. That's too bad
because this function is the core of the use of simcalls by the MC,
where the next simcall is picked.

Not done in the independence computing part either.


No differences found