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/tac.py
rflx/typing_.py
rflx/validator.py
rflx/converter/__init__.py
rflx/converter/iana.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/model/.mypy_cache/.gitignore
rflx/model/.mypy_cache/CACHEDIR.TAG
rflx/model/.mypy_cache/missing_stubs
rflx/model/.mypy_cache/3.10/@plugins_snapshot.json
rflx/model/.mypy_cache/3.10/__future__.data.json
rflx/model/.mypy_cache/3.10/__future__.meta.json
rflx/model/.mypy_cache/3.10/_ast.data.json
rflx/model/.mypy_cache/3.10/_ast.meta.json
rflx/model/.mypy_cache/3.10/_bisect.data.json
rflx/model/.mypy_cache/3.10/_bisect.meta.json
rflx/model/.mypy_cache/3.10/_collections_abc.data.json
rflx/model/.mypy_cache/3.10/_collections_abc.meta.json
rflx/model/.mypy_cache/3.10/_operator.data.json
rflx/model/.mypy_cache/3.10/_operator.meta.json
rflx/model/.mypy_cache/3.10/_socket.data.json
rflx/model/.mypy_cache/3.10/_socket.meta.json
rflx/model/.mypy_cache/3.10/_thread.data.json
rflx/model/.mypy_cache/3.10/_thread.meta.json
rflx/model/.mypy_cache/3.10/_weakref.data.json
rflx/model/.mypy_cache/3.10/_weakref.meta.json
rflx/model/.mypy_cache/3.10/_weakrefset.data.json
rflx/model/.mypy_cache/3.10/_weakrefset.meta.json
rflx/model/.mypy_cache/3.10/abc.data.json
rflx/model/.mypy_cache/3.10/abc.meta.json
rflx/model/.mypy_cache/3.10/array.data.json
rflx/model/.mypy_cache/3.10/array.meta.json
rflx/model/.mypy_cache/3.10/ast.data.json
rflx/model/.mypy_cache/3.10/ast.meta.json
rflx/model/.mypy_cache/3.10/bisect.data.json
rflx/model/.mypy_cache/3.10/bisect.meta.json
rflx/model/.mypy_cache/3.10/builtins.data.json
rflx/model/.mypy_cache/3.10/builtins.meta.json
rflx/model/.mypy_cache/3.10/codecs.data.json
rflx/model/.mypy_cache/3.10/codecs.meta.json
rflx/model/.mypy_cache/3.10/contextlib.data.json
rflx/model/.mypy_cache/3.10/contextlib.meta.json
rflx/model/.mypy_cache/3.10/copy.data.json
rflx/model/.mypy_cache/3.10/copy.meta.json
rflx/model/.mypy_cache/3.10/copyreg.data.json
rflx/model/.mypy_cache/3.10/copyreg.meta.json
rflx/model/.mypy_cache/3.10/dataclasses.data.json
rflx/model/.mypy_cache/3.10/dataclasses.meta.json
rflx/model/.mypy_cache/3.10/difflib.data.json
rflx/model/.mypy_cache/3.10/difflib.meta.json
rflx/model/.mypy_cache/3.10/dis.data.json
rflx/model/.mypy_cache/3.10/dis.meta.json
rflx/model/.mypy_cache/3.10/enum.data.json
rflx/model/.mypy_cache/3.10/enum.meta.json
rflx/model/.mypy_cache/3.10/functools.data.json
rflx/model/.mypy_cache/3.10/functools.meta.json
rflx/model/.mypy_cache/3.10/genericpath.data.json
rflx/model/.mypy_cache/3.10/genericpath.meta.json
rflx/model/.mypy_cache/3.10/inspect.data.json
rflx/model/.mypy_cache/3.10/inspect.meta.json
rflx/model/.mypy_cache/3.10/io.data.json
rflx/model/.mypy_cache/3.10/io.meta.json
rflx/model/.mypy_cache/3.10/itertools.data.json
rflx/model/.mypy_cache/3.10/itertools.meta.json
rflx/model/.mypy_cache/3.10/mmap.data.json
rflx/model/.mypy_cache/3.10/mmap.meta.json
rflx/model/.mypy_cache/3.10/numbers.data.json
rflx/model/.mypy_cache/3.10/numbers.meta.json
rflx/model/.mypy_cache/3.10/opcode.data.json
rflx/model/.mypy_cache/3.10/opcode.meta.json
rflx/model/.mypy_cache/3.10/operator.data.json
rflx/model/.mypy_cache/3.10/operator.meta.json
rflx/model/.mypy_cache/3.10/pathlib.data.json
rflx/model/.mypy_cache/3.10/pathlib.meta.json
rflx/model/.mypy_cache/3.10/pickle.data.json
rflx/model/.mypy_cache/3.10/pickle.meta.json
rflx/model/.mypy_cache/3.10/posixpath.data.json
rflx/model/.mypy_cache/3.10/posixpath.meta.json
rflx/model/.mypy_cache/3.10/queue.data.json
rflx/model/.mypy_cache/3.10/queue.meta.json
rflx/model/.mypy_cache/3.10/re.data.json
rflx/model/.mypy_cache/3.10/re.meta.json
rflx/model/.mypy_cache/3.10/reprlib.data.json
rflx/model/.mypy_cache/3.10/reprlib.meta.json
rflx/model/.mypy_cache/3.10/socket.data.json
rflx/model/.mypy_cache/3.10/socket.meta.json
rflx/model/.mypy_cache/3.10/sre_compile.data.json
rflx/model/.mypy_cache/3.10/sre_compile.meta.json
rflx/model/.mypy_cache/3.10/sre_constants.data.json
rflx/model/.mypy_cache/3.10/sre_constants.meta.json
rflx/model/.mypy_cache/3.10/sre_parse.data.json
rflx/model/.mypy_cache/3.10/sre_parse.meta.json
rflx/model/.mypy_cache/3.10/string.data.json
rflx/model/.mypy_cache/3.10/string.meta.json
rflx/model/.mypy_cache/3.10/subprocess.data.json
rflx/model/.mypy_cache/3.10/subprocess.meta.json
rflx/model/.mypy_cache/3.10/sys.data.json
rflx/model/.mypy_cache/3.10/sys.meta.json
rflx/model/.mypy_cache/3.10/textwrap.data.json
rflx/model/.mypy_cache/3.10/textwrap.meta.json
rflx/model/.mypy_cache/3.10/threading.data.json
rflx/model/.mypy_cache/3.10/threading.meta.json
rflx/model/.mypy_cache/3.10/time.data.json
rflx/model/.mypy_cache/3.10/time.meta.json
rflx/model/.mypy_cache/3.10/token.data.json
rflx/model/.mypy_cache/3.10/token.meta.json
rflx/model/.mypy_cache/3.10/tokenize.data.json
rflx/model/.mypy_cache/3.10/tokenize.meta.json
rflx/model/.mypy_cache/3.10/traceback.data.json
rflx/model/.mypy_cache/3.10/traceback.meta.json
rflx/model/.mypy_cache/3.10/types.data.json
rflx/model/.mypy_cache/3.10/types.meta.json
rflx/model/.mypy_cache/3.10/typing.data.json
rflx/model/.mypy_cache/3.10/typing.meta.json
rflx/model/.mypy_cache/3.10/typing_extensions.data.json
rflx/model/.mypy_cache/3.10/typing_extensions.meta.json
rflx/model/.mypy_cache/3.10/uuid.data.json
rflx/model/.mypy_cache/3.10/uuid.meta.json
rflx/model/.mypy_cache/3.10/weakref.data.json
rflx/model/.mypy_cache/3.10/weakref.meta.json
rflx/model/.mypy_cache/3.10/zipimport.data.json
rflx/model/.mypy_cache/3.10/zipimport.meta.json
rflx/model/.mypy_cache/3.10/_typeshed/__init__.data.json
rflx/model/.mypy_cache/3.10/_typeshed/__init__.meta.json
rflx/model/.mypy_cache/3.10/asttokens/__init__.data.json
rflx/model/.mypy_cache/3.10/asttokens/__init__.meta.json
rflx/model/.mypy_cache/3.10/asttokens/asttokens.data.json
rflx/model/.mypy_cache/3.10/asttokens/asttokens.meta.json
rflx/model/.mypy_cache/3.10/asttokens/line_numbers.data.json
rflx/model/.mypy_cache/3.10/asttokens/line_numbers.meta.json
rflx/model/.mypy_cache/3.10/asttokens/mark_tokens.data.json
rflx/model/.mypy_cache/3.10/asttokens/mark_tokens.meta.json
rflx/model/.mypy_cache/3.10/asttokens/util.data.json
rflx/model/.mypy_cache/3.10/asttokens/util.meta.json
rflx/model/.mypy_cache/3.10/attr/__init__.data.json
rflx/model/.mypy_cache/3.10/attr/__init__.meta.json
rflx/model/.mypy_cache/3.10/attr/_version_info.data.json
rflx/model/.mypy_cache/3.10/attr/_version_info.meta.json
rflx/model/.mypy_cache/3.10/attr/converters.data.json
rflx/model/.mypy_cache/3.10/attr/converters.meta.json
rflx/model/.mypy_cache/3.10/attr/exceptions.data.json
rflx/model/.mypy_cache/3.10/attr/exceptions.meta.json
rflx/model/.mypy_cache/3.10/attr/filters.data.json
rflx/model/.mypy_cache/3.10/attr/filters.meta.json
rflx/model/.mypy_cache/3.10/attr/setters.data.json
rflx/model/.mypy_cache/3.10/attr/setters.meta.json
rflx/model/.mypy_cache/3.10/attr/validators.data.json
rflx/model/.mypy_cache/3.10/attr/validators.meta.json
rflx/model/.mypy_cache/3.10/collections/__init__.data.json
rflx/model/.mypy_cache/3.10/collections/__init__.meta.json
rflx/model/.mypy_cache/3.10/collections/abc.data.json
rflx/model/.mypy_cache/3.10/collections/abc.meta.json
rflx/model/.mypy_cache/3.10/concurrent/__init__.data.json
rflx/model/.mypy_cache/3.10/concurrent/__init__.meta.json
rflx/model/.mypy_cache/3.10/concurrent/futures/__init__.data.json
rflx/model/.mypy_cache/3.10/concurrent/futures/__init__.meta.json
rflx/model/.mypy_cache/3.10/concurrent/futures/_base.data.json
rflx/model/.mypy_cache/3.10/concurrent/futures/_base.meta.json
rflx/model/.mypy_cache/3.10/concurrent/futures/process.data.json
rflx/model/.mypy_cache/3.10/concurrent/futures/process.meta.json
rflx/model/.mypy_cache/3.10/concurrent/futures/thread.data.json
rflx/model/.mypy_cache/3.10/concurrent/futures/thread.meta.json
rflx/model/.mypy_cache/3.10/ctypes/__init__.data.json
rflx/model/.mypy_cache/3.10/ctypes/__init__.meta.json
rflx/model/.mypy_cache/3.10/email/__init__.data.json
rflx/model/.mypy_cache/3.10/email/__init__.meta.json
rflx/model/.mypy_cache/3.10/email/charset.data.json
rflx/model/.mypy_cache/3.10/email/charset.meta.json
rflx/model/.mypy_cache/3.10/email/contentmanager.data.json
rflx/model/.mypy_cache/3.10/email/contentmanager.meta.json
rflx/model/.mypy_cache/3.10/email/errors.data.json
rflx/model/.mypy_cache/3.10/email/errors.meta.json
rflx/model/.mypy_cache/3.10/email/header.data.json
rflx/model/.mypy_cache/3.10/email/header.meta.json
rflx/model/.mypy_cache/3.10/email/message.data.json
rflx/model/.mypy_cache/3.10/email/message.meta.json
rflx/model/.mypy_cache/3.10/email/policy.data.json
rflx/model/.mypy_cache/3.10/email/policy.meta.json
rflx/model/.mypy_cache/3.10/icontract/__init__.data.json
rflx/model/.mypy_cache/3.10/icontract/__init__.meta.json
rflx/model/.mypy_cache/3.10/icontract/_checkers.data.json
rflx/model/.mypy_cache/3.10/icontract/_checkers.meta.json
rflx/model/.mypy_cache/3.10/icontract/_decorators.data.json
rflx/model/.mypy_cache/3.10/icontract/_decorators.meta.json
rflx/model/.mypy_cache/3.10/icontract/_globals.data.json
rflx/model/.mypy_cache/3.10/icontract/_globals.meta.json
rflx/model/.mypy_cache/3.10/icontract/_metaclass.data.json
rflx/model/.mypy_cache/3.10/icontract/_metaclass.meta.json
rflx/model/.mypy_cache/3.10/icontract/_recompute.data.json
rflx/model/.mypy_cache/3.10/icontract/_recompute.meta.json
rflx/model/.mypy_cache/3.10/icontract/_represent.data.json
rflx/model/.mypy_cache/3.10/icontract/_represent.meta.json
rflx/model/.mypy_cache/3.10/icontract/_types.data.json
rflx/model/.mypy_cache/3.10/icontract/_types.meta.json
rflx/model/.mypy_cache/3.10/icontract/errors.data.json
rflx/model/.mypy_cache/3.10/icontract/errors.meta.json
rflx/model/.mypy_cache/3.10/importlib/__init__.data.json
rflx/model/.mypy_cache/3.10/importlib/__init__.meta.json
rflx/model/.mypy_cache/3.10/importlib/abc.data.json
rflx/model/.mypy_cache/3.10/importlib/abc.meta.json
rflx/model/.mypy_cache/3.10/importlib/machinery.data.json
rflx/model/.mypy_cache/3.10/importlib/machinery.meta.json
rflx/model/.mypy_cache/3.10/importlib/metadata/__init__.data.json
rflx/model/.mypy_cache/3.10/importlib/metadata/__init__.meta.json
rflx/model/.mypy_cache/3.10/importlib/metadata/_meta.data.json
rflx/model/.mypy_cache/3.10/importlib/metadata/_meta.meta.json
rflx/model/.mypy_cache/3.10/logging/__init__.data.json
rflx/model/.mypy_cache/3.10/logging/__init__.meta.json
rflx/model/.mypy_cache/3.10/multiprocessing/__init__.data.json
rflx/model/.mypy_cache/3.10/multiprocessing/__init__.meta.json
rflx/model/.mypy_cache/3.10/multiprocessing/connection.data.json
rflx/model/.mypy_cache/3.10/multiprocessing/connection.meta.json
rflx/model/.mypy_cache/3.10/multiprocessing/context.data.json
rflx/model/.mypy_cache/3.10/multiprocessing/context.meta.json
rflx/model/.mypy_cache/3.10/multiprocessing/managers.data.json
rflx/model/.mypy_cache/3.10/multiprocessing/managers.meta.json
rflx/model/.mypy_cache/3.10/multiprocessing/pool.data.json
rflx/model/.mypy_cache/3.10/multiprocessing/pool.meta.json
rflx/model/.mypy_cache/3.10/multiprocessing/process.data.json
rflx/model/.mypy_cache/3.10/multiprocessing/process.meta.json
rflx/model/.mypy_cache/3.10/multiprocessing/queues.data.json
rflx/model/.mypy_cache/3.10/multiprocessing/queues.meta.json
rflx/model/.mypy_cache/3.10/multiprocessing/reduction.data.json
rflx/model/.mypy_cache/3.10/multiprocessing/reduction.meta.json
rflx/model/.mypy_cache/3.10/multiprocessing/shared_memory.data.json
rflx/model/.mypy_cache/3.10/multiprocessing/shared_memory.meta.json
rflx/model/.mypy_cache/3.10/multiprocessing/sharedctypes.data.json
rflx/model/.mypy_cache/3.10/multiprocessing/sharedctypes.meta.json
rflx/model/.mypy_cache/3.10/multiprocessing/spawn.data.json
rflx/model/.mypy_cache/3.10/multiprocessing/spawn.meta.json
rflx/model/.mypy_cache/3.10/multiprocessing/synchronize.data.json
rflx/model/.mypy_cache/3.10/multiprocessing/synchronize.meta.json
rflx/model/.mypy_cache/3.10/os/__init__.data.json
rflx/model/.mypy_cache/3.10/os/__init__.meta.json
rflx/model/.mypy_cache/3.10/os/path.data.json
rflx/model/.mypy_cache/3.10/os/path.meta.json
rflx/model/.mypy_cache/3.10/pkg_resources/__init__.data.json
rflx/model/.mypy_cache/3.10/pkg_resources/__init__.meta.json
rflx/model/.mypy_cache/3.10/rflx/__init__.data.json
rflx/model/.mypy_cache/3.10/rflx/__init__.meta.json
rflx/model/.mypy_cache/3.10/rflx/common.data.json
rflx/model/.mypy_cache/3.10/rflx/common.meta.json
rflx/model/.mypy_cache/3.10/rflx/const.data.json
rflx/model/.mypy_cache/3.10/rflx/const.meta.json
rflx/model/.mypy_cache/3.10/rflx/contract.data.json
rflx/model/.mypy_cache/3.10/rflx/contract.meta.json
rflx/model/.mypy_cache/3.10/rflx/error.data.json
rflx/model/.mypy_cache/3.10/rflx/error.meta.json
rflx/model/.mypy_cache/3.10/rflx/identifier.data.json
rflx/model/.mypy_cache/3.10/rflx/identifier.meta.json
rflx/model/.mypy_cache/3.10/rflx/typing_.data.json
rflx/model/.mypy_cache/3.10/rflx/typing_.meta.json
rflx/model/.mypy_cache/3.10/rflx/model/basic_declaration.data.json
rflx/model/.mypy_cache/3.10/rflx/model/basic_declaration.meta.json
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-generic_operations.adb
rflx/templates/rflx_generic_types-generic_operations.ads
rflx/templates/rflx_generic_types-generic_operators.ads
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-operations.ads
rflx/templates/rflx_types-operators.ads
rflx/templates/rflx_types.ads