Skip to content
Snippets Groups Projects
  1. May 12, 2020
  2. May 11, 2020
  3. Apr 27, 2020
  4. Apr 10, 2020
  5. Apr 06, 2020
  6. Mar 18, 2020
  7. Mar 17, 2020
  8. Mar 14, 2020
  9. Mar 13, 2020
  10. Mar 12, 2020
  11. Mar 10, 2020
  12. Mar 09, 2020
  13. 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
  14. Mar 05, 2020
  15. Feb 27, 2020
  16. Feb 26, 2020
Loading