Fixing compilation with the new Core/ directory
Showing
- current-formalism/Core/Configurations.v 1 addition, 1 deletioncurrent-formalism/Core/Configurations.v
- current-formalism/Core/Formalism.v 3 additions, 3 deletionscurrent-formalism/Core/Formalism.v
- current-formalism/Core/RobotInfo.v 1 addition, 1 deletioncurrent-formalism/Core/RobotInfo.v
- current-formalism/Gathering/InR2/FSyncFlexNoMultAlgorithm.v 3 additions, 3 deletionscurrent-formalism/Gathering/InR2/FSyncFlexNoMultAlgorithm.v
- current-formalism/Setting.v 4 additions, 4 deletionscurrent-formalism/Setting.v
- current-formalism/Spaces/DiscreteSimilarity.v 1 addition, 1 deletioncurrent-formalism/Spaces/DiscreteSimilarity.v
- current-formalism/Spaces/Graph.v 2 additions, 2 deletionscurrent-formalism/Spaces/Graph.v
- current-formalism/Spaces/Isomorphism.v 1 addition, 1 deletioncurrent-formalism/Spaces/Isomorphism.v
- current-formalism/Spaces/R.v 2 additions, 2 deletionscurrent-formalism/Spaces/R.v
- current-formalism/Spectra/Definition.v 3 additions, 3 deletionscurrent-formalism/Spectra/Definition.v
- current-formalism/Spectra/LimitedMultisetSpectrum.v 3 additions, 3 deletionscurrent-formalism/Spectra/LimitedMultisetSpectrum.v
- current-formalism/Spectra/LimitedSetSpectrum.v 3 additions, 3 deletionscurrent-formalism/Spectra/LimitedSetSpectrum.v
- current-formalism/Spectra/MultisetSpectrum.v 3 additions, 3 deletionscurrent-formalism/Spectra/MultisetSpectrum.v
- current-formalism/Spectra/SetSpectrum.v 3 additions, 3 deletionscurrent-formalism/Spectra/SetSpectrum.v
- current-formalism/_CoqProject 4 additions, 4 deletionscurrent-formalism/_CoqProject
Loading
Please register or sign in to comment