Release 0.7.1

[treiher]

• [x] Update submodules
• [x] Test GNAT Studio plugin
  • Check verification, generation and display of message graph for example apps
• [x] Add release to CHANGELOG
• [x] Bring changes to main branch
• [x] Add tag to git repository
  • Note: Commit IDs change when a PR is merged on GitHub, so it should be ensured that the right branch is checked out.
  • git tag -a vX.Y.Z -m ""
• [x] Generate distribution archive
  • make dist
• [x] Check distribution archive
  • Check content of archive
  • Install in new virtual environment
  • Ensure that no additional packages to rflx are installed
  • Test rflx executable
• [x] Push tag
  • git push --follow-tags
• [x] Upload to TestPyPI
  • twine upload --repository-url https://test.pypi.org/legacy/ dist/RecordFlux-X.Y.Z.tar.gz
• [x] Check project on TestPyPI
• [x] Test installation from TestPyPI
  • pip3 install --index-url https://test.pypi.org/simple/ --extra-index-url https://pypi.org/simple/ RecordFlux
• [x] Upload to PyPI
  • twine upload dist/RecordFlux-X.Y.Z.tar.gz
• [x] Test installation from PyPI
  • pip3 install RecordFlux
• [x] Publish release notes on GitHub

[treiher]

https://pypi.org/project/RecordFlux/0.7.1/