Merge branch 'master' into weber
No related branches found
No related tags found
Showing
- .gitlab-ci.yml 6 additions, 2 deletions.gitlab-ci.yml
- CREDIT.md 9 additions, 0 deletionsCREDIT.md
- CaseStudies/Convergence/Algorithm_noB_Assumptions.v 2 additions, 0 deletionsCaseStudies/Convergence/Algorithm_noB_Assumptions.v
- CaseStudies/Gathering/InR/Algorithm.v 22 additions, 19 deletionsCaseStudies/Gathering/InR/Algorithm.v
- CaseStudies/Gathering/InR2/Algorithm.v 240 additions, 415 deletionsCaseStudies/Gathering/InR2/Algorithm.v
- CaseStudies/Gathering/InR2/Algorithm_withLight.v 7102 additions, 0 deletionsCaseStudies/Gathering/InR2/Algorithm_withLight.v
- CaseStudies/Gathering/InR2/Algorithm_withLight_Assumptions.v 2 additions, 0 deletionsCaseStudies/Gathering/InR2/Algorithm_withLight_Assumptions.v
- CaseStudies/Gathering/InR2/Viglietta.v 22 additions, 27 deletionsCaseStudies/Gathering/InR2/Viglietta.v
- CaseStudies/Gathering/InR2/Weber/Align_flex_async.v 4 additions, 4 deletionsCaseStudies/Gathering/InR2/Weber/Align_flex_async.v
- CaseStudies/Gathering/InR2/Weber/Align_flex_ssync.v 23 additions, 11 deletionsCaseStudies/Gathering/InR2/Weber/Align_flex_ssync.v
- CaseStudies/Gathering/InR2/Weber/Align_rigid_ssync.v 24 additions, 11 deletionsCaseStudies/Gathering/InR2/Weber/Align_rigid_ssync.v
- CaseStudies/Gathering/InR2/Weber/Gather_flex_async.v 11 additions, 12 deletionsCaseStudies/Gathering/InR2/Weber/Gather_flex_async.v
- CaseStudies/Gathering/InR2/Weber/Utils.v 2 additions, 2 deletionsCaseStudies/Gathering/InR2/Weber/Utils.v
- CaseStudies/Gathering/WithMultiplicityLight.v 1617 additions, 0 deletionsCaseStudies/Gathering/WithMultiplicityLight.v
- Core/Configuration.v 65 additions, 0 deletionsCore/Configuration.v
- Core/Formalism.v 200 additions, 21 deletionsCore/Formalism.v
- DEV.md 22 additions, 10 deletionsDEV.md
- INSTALL.md 117 additions, 0 deletionsINSTALL.md
- Models/GraphEquivalence.v 7 additions, 5 deletionsModels/GraphEquivalence.v
- Models/GraphEquivalence_Assumptions.v 4 additions, 0 deletionsModels/GraphEquivalence_Assumptions.v
Loading
Please register or sign in to comment