Skip to content
Snippets Groups Projects
  1. Jun 09, 2020
  2. May 12, 2020
  3. May 11, 2020
  4. Apr 27, 2020
  5. Apr 10, 2020
  6. Apr 06, 2020
  7. Mar 18, 2020
  8. Mar 17, 2020
  9. Mar 14, 2020
  10. Mar 13, 2020
  11. Mar 12, 2020
  12. Mar 10, 2020
  13. Mar 09, 2020
  14. Mar 06, 2020
    • erwan's avatar
      Breaking: remove Algo.pid and Algo.spid, and add the pid in the init function · 4280ff14
      erwan authored
      The  rationale is  that the  Algo.spid that  gave processes  access to
      their pid via their neighbors was a bit weird. Also, it makes the anonymity
      of the algorithm more explicit: an access to the pid could appear anywhere
      in the program, while now, the pid must be in state.t!
      
      Now, if the  user needs the pid,  he must store it  explicitly in the
      state via the initialization function.
      4280ff14
Loading