Introducing inactive_update to account for ASYNC
Showing
- current-formalism/Convergence/Algorithm_noB.v 18 additions, 16 deletionscurrent-formalism/Convergence/Algorithm_noB.v
- current-formalism/Convergence/Impossibility_2G_1B.v 12 additions, 6 deletionscurrent-formalism/Convergence/Impossibility_2G_1B.v
- current-formalism/Core/Formalism.v 121 additions, 45 deletionscurrent-formalism/Core/Formalism.v
- current-formalism/Gathering/Impossibility.v 10 additions, 4 deletionscurrent-formalism/Gathering/Impossibility.v
- current-formalism/Gathering/InR/Algorithm.v 107 additions, 96 deletionscurrent-formalism/Gathering/InR/Algorithm.v
- current-formalism/Gathering/InR/Impossibility.v 10 additions, 4 deletionscurrent-formalism/Gathering/InR/Impossibility.v
- current-formalism/Gathering/InR2/Algorithm.v 333 additions, 315 deletionscurrent-formalism/Gathering/InR2/Algorithm.v
- current-formalism/Gathering/InR2/FSyncFlexNoMultAlgorithm.v 25 additions, 40 deletionscurrent-formalism/Gathering/InR2/FSyncFlexNoMultAlgorithm.v
- current-formalism/Gathering/InR2/Peleg.v 25 additions, 40 deletionscurrent-formalism/Gathering/InR2/Peleg.v
- current-formalism/Models/ASync.v 1 addition, 1 deletioncurrent-formalism/Models/ASync.v
Loading
Please register or sign in to comment