search

AdaCore / RecordFlux

Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
Apache License 2.0
104 stars 6 forks source link

Documentation for released versions #1257

Closed treiher closed 10 months ago

treiher commented 1 year ago

Currently, the documentation on https://componolit.github.io/RecordFlux/ always reflects the state of the main branch. This can lead to problems when a user tries to follow the description and examples while using a released version. I think the best solution would be to provide the documentation for multiple versions and show the last released version by default.

treiher commented 10 months ago

This won't be possible for GitHub/PyPI releases in the foreseeable future.