Splitting inactive_update into choose_inactive (demon) and inactive (update)
Showing
- current-formalism/Convergence/Algorithm_noB.v 6 additions, 3 deletionscurrent-formalism/Convergence/Algorithm_noB.v
- current-formalism/Convergence/Impossibility_2G_1B.v 14 additions, 11 deletionscurrent-formalism/Convergence/Impossibility_2G_1B.v
- current-formalism/Core/Formalism.v 26 additions, 16 deletionscurrent-formalism/Core/Formalism.v
- current-formalism/Gathering/Definitions.v 2 additions, 1 deletioncurrent-formalism/Gathering/Definitions.v
- current-formalism/Gathering/Impossibility.v 12 additions, 9 deletionscurrent-formalism/Gathering/Impossibility.v
- current-formalism/Gathering/InR/Algorithm.v 6 additions, 3 deletionscurrent-formalism/Gathering/InR/Algorithm.v
- current-formalism/Gathering/InR/Impossibility.v 12 additions, 9 deletionscurrent-formalism/Gathering/InR/Impossibility.v
- current-formalism/Gathering/InR2/Algorithm.v 6 additions, 3 deletionscurrent-formalism/Gathering/InR2/Algorithm.v
- current-formalism/Gathering/InR2/FSyncFlexNoMultAlgorithm.v 8 additions, 18 deletionscurrent-formalism/Gathering/InR2/FSyncFlexNoMultAlgorithm.v
- current-formalism/Gathering/InR2/Peleg.v 8 additions, 18 deletionscurrent-formalism/Gathering/InR2/Peleg.v
- current-formalism/Gathering/WithMultiplicity.v 2 additions, 1 deletioncurrent-formalism/Gathering/WithMultiplicity.v
- current-formalism/Models/ASync.v 0 additions, 710 deletionscurrent-formalism/Models/ASync.v
- current-formalism/Models/ContinuousGraph.v 60 additions, 19 deletionscurrent-formalism/Models/ContinuousGraph.v
- current-formalism/Models/DiscreteGraph.v 1 addition, 29 deletionscurrent-formalism/Models/DiscreteGraph.v
- current-formalism/Models/Flexible.v 44 additions, 8 deletionscurrent-formalism/Models/Flexible.v
- current-formalism/Models/Rigid.v 7 additions, 5 deletionscurrent-formalism/Models/Rigid.v
- current-formalism/Models/Similarity.v 2 additions, 2 deletionscurrent-formalism/Models/Similarity.v
- current-formalism/Spaces/Graph.v 3 additions, 3 deletionscurrent-formalism/Spaces/Graph.v
- current-formalism/Spectra/PointedSpectrum.v 27 additions, 0 deletionscurrent-formalism/Spectra/PointedSpectrum.v
- current-formalism/Util/Ratio.v 14 additions, 0 deletionscurrent-formalism/Util/Ratio.v
Loading
Please register or sign in to comment