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