Metadata-Version: 2.1
Name: RecordFlux
Version: 0.9.1
Summary: A toolset for the formal specification and generation of verifiable binary parsers, message generators and protocol state machines.
Home-page: https://github.com/AdaCore/RecordFlux
Author: Tobias Reiher
Author-email: reiher@adacore.com
License: AGPL-3.0
Classifier: Development Status :: 5 - Production/Stable
Classifier: Environment :: Console
Classifier: License :: OSI Approved :: GNU Affero General Public License v3
Classifier: Operating System :: POSIX :: Linux
Classifier: Programming Language :: Ada
Classifier: Programming Language :: Python :: 3 :: Only
Classifier: Programming Language :: Python :: 3
Classifier: Programming Language :: Python :: 3.8
Classifier: Programming Language :: Python :: 3.9
Classifier: Programming Language :: Python :: 3.10
Classifier: Programming Language :: Python :: 3.11
Classifier: Topic :: Communications
Classifier: Topic :: Security
Classifier: Topic :: Software Development :: Build Tools
Classifier: Topic :: Software Development :: Code Generators
Classifier: Topic :: System :: Networking
Requires-Python: >=3.8
Description-Content-Type: text/markdown
Provides-Extra: devel
License-File: LICENSE

# [RecordFlux](https://github.com/AdaCore/RecordFlux/)

[![PyPI](https://img.shields.io/pypi/v/RecordFlux?color=blue)](https://pypi.org/project/RecordFlux/)
[![Python Versions](https://img.shields.io/badge/python-3.8%20%7C%203.9%20%7C%203.10-blue.svg)](https://python.org/)
[![Checked with mypy](http://www.mypy-lang.org/static/mypy_badge.svg)](http://mypy-lang.org/)
[![Tests](https://github.com/AdaCore/RecordFlux/workflows/tests/badge.svg)](https://github.com/AdaCore/RecordFlux/actions)
[![CII Best Practices](https://bestpractices.coreinfrastructure.org/projects/5052/badge)](https://bestpractices.coreinfrastructure.org/projects/5052)

RecordFlux is a toolset for the formal specification and generation of verifiable binary parsers, message generators and protocol state machines.

See the [documentation](https://adacore.github.io/RecordFlux/) for more information.

## Contribution and Feedback

Contributions and feedback to RecordFlux are very welcome. To discuss a bug or an enhancement, [open a ticket on GitHub](https://github.com/AdaCore/RecordFlux/issues/new/choose) and select the appropriate issue template. Please give sufficient information about your issue, the software version you are using and your environment such that the developers can understand and (if necessary) reproduce the problem. If none of the provided issue templates fit your needs, feel free to open [a blank issue](https://github.com/AdaCore/RecordFlux/issues/new).

See the [development guide](https://adacore.github.io/RecordFlux/development_guide/) on how to contribute to RecordFlux.

## Licence

This software is licensed under the `AGPL-3.0`. See the `LICENSE` file for the full license text.
