Merge remote-tracking branch 'origin/coq-8.16' into weber
Merging coq-8.20 adjustments to weber branch.
No related branches found
No related tags found
Showing
- CaseStudies/Convergence/Algorithm_noB.v 1 addition, 0 deletionsCaseStudies/Convergence/Algorithm_noB.v
- CaseStudies/Convergence/Impossibility_2G_1B.v 3 additions, 5 deletionsCaseStudies/Convergence/Impossibility_2G_1B.v
- CaseStudies/Gathering/Impossibility.v 4 additions, 3 deletionsCaseStudies/Gathering/Impossibility.v
- CaseStudies/Gathering/InR/Algorithm.v 42 additions, 27 deletionsCaseStudies/Gathering/InR/Algorithm.v
- CaseStudies/Gathering/InR/Impossibility.v 2 additions, 1 deletionCaseStudies/Gathering/InR/Impossibility.v
- CaseStudies/Gathering/InR2/Algorithm.v 1 addition, 1 deletionCaseStudies/Gathering/InR2/Algorithm.v
- CaseStudies/Gathering/InR2/FSyncFlexNoMultAlgorithm.v 1 addition, 0 deletionsCaseStudies/Gathering/InR2/FSyncFlexNoMultAlgorithm.v
- CaseStudies/Gathering/InR2/Peleg.v 1 addition, 0 deletionsCaseStudies/Gathering/InR2/Peleg.v
- CaseStudies/Gathering/InR2/Weber/Align_rigid_ssync.v 2 additions, 1 deletionCaseStudies/Gathering/InR2/Weber/Align_rigid_ssync.v
- CaseStudies/Gathering/InR2/Weber/Line.v 101 additions, 101 deletionsCaseStudies/Gathering/InR2/Weber/Line.v
- CaseStudies/Gathering/InR2/Weber/Segment.v 21 additions, 21 deletionsCaseStudies/Gathering/InR2/Weber/Segment.v
- CaseStudies/Gathering/InR2/Weber/Utils.v 1 addition, 1 deletionCaseStudies/Gathering/InR2/Weber/Utils.v
- CaseStudies/Gathering/InR2/Weber/Weber_point.v 36 additions, 32 deletionsCaseStudies/Gathering/InR2/Weber/Weber_point.v
- CaseStudies/Gathering/WithMultiplicity.v 5 additions, 5 deletionsCaseStudies/Gathering/WithMultiplicity.v
- CaseStudies/LifeLine/Algorithm.v 3 additions, 3 deletionsCaseStudies/LifeLine/Algorithm.v
- Core/Formalism.v 2 additions, 1 deletionCore/Formalism.v
- Makefile.local 22 additions, 6 deletionsMakefile.local
- Models/GraphEquivalence.v 4 additions, 9 deletionsModels/GraphEquivalence.v
- Models/RigidFlexibleEquivalence.v 1 addition, 0 deletionsModels/RigidFlexibleEquivalence.v
- Observations/LimitedMultisetObservation.v 1 addition, 2 deletionsObservations/LimitedMultisetObservation.v
Loading
Please register or sign in to comment