CHANGELOG.md
LICENSE
README.md
SECURITY.md
pyproject.toml
setup.py
bin/__init__.py
bin/rflx
rflx/__init__.py
rflx/ada.py
rflx/cli.py
rflx/common.py
rflx/const.py
rflx/contract.py
rflx/error.py
rflx/expression.py
rflx/graph.py
rflx/identifier.py
rflx/integration.py
rflx/py.typed
rflx/typing_.py
rflx/validator.py
rflx/generator/__init__.py
rflx/generator/allocator.py
rflx/generator/common.py
rflx/generator/const.py
rflx/generator/generator.py
rflx/generator/message.py
rflx/generator/parser.py
rflx/generator/serializer.py
rflx/generator/session.py
rflx/model/__init__.py
rflx/model/basic_declaration.py
rflx/model/declaration.py
rflx/model/message.py
rflx/model/model.py
rflx/model/package.py
rflx/model/session.py
rflx/model/statement.py
rflx/model/type_.py
rflx/pyrflx/__init__.py
rflx/pyrflx/bitstring.py
rflx/pyrflx/error.py
rflx/pyrflx/package.py
rflx/pyrflx/pyrflx.py
rflx/pyrflx/typevalue.py
rflx/pyrflx/utils.py
rflx/specification/__init__.py
rflx/specification/cache.py
rflx/specification/const.py
rflx/specification/parser.py
rflx/specification/style.py
rflx/templates/license_header
rflx/templates/rflx_arithmetic.adb
rflx/templates/rflx_arithmetic.ads
rflx/templates/rflx_builtin_types-conversions.ads
rflx/templates/rflx_builtin_types.ads
rflx/templates/rflx_generic_types.adb
rflx/templates/rflx_generic_types.ads
rflx/templates/rflx_message_sequence.adb
rflx/templates/rflx_message_sequence.ads
rflx/templates/rflx_scalar_sequence.adb
rflx/templates/rflx_scalar_sequence.ads
rflx/templates/rflx_types.ads