Claus Schätzle

Improve automatic conversion from setting labels to command line options

1

In [….ultimate.cli.options.OptionBuilder.convertLabelToLongName(…)](https://github.com/ultimate-pa/ultimate/blob/41e327dff53bf6d340469b154456b8b9191919d0/trunk/source/UltimateCLI/src/de/uni_freiburg/informatik/ultimate/cli/options/OptionBuilder.java#L353) we convert the labels from the setting dialog to command line options. The automatic conversion could be improved for complicated labels. As an example we can discuss the...

Is the recommendation to use metadata python.integrator for local versions outdated?

2

The last section in https://packaging.python.org/en/latest/specifications/version-specifiers/#local-version-identifiers says > **Local version identifiers** > [...] > Source distributions using a local version identifier SHOULD provide the `python.integrator` extension metadata (as defined in [PEP...