CHANGELOG.md
LICENSE
README.md
SECURITY.md
pyproject.toml
setup.py
bin/__init__.py
bin/rflx
ide/__init__.py
ide/gnatstudio/__init__.py
ide/gnatstudio/recordflux.py
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/declaration.py
rflx/model/message.py
rflx/model/model.py
rflx/model/package.py
rflx/model/session.py
rflx/model/statement.py
rflx/model/top_level_declaration.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-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
src/librflxlang.gpr
src/gnatcoll-bindings/gmp/gmp_support.c
src/gnatcoll-bindings/gmp/gnatcoll-gmp-integers-io.adb
src/gnatcoll-bindings/gmp/gnatcoll-gmp-integers-io.ads
src/gnatcoll-bindings/gmp/gnatcoll-gmp-integers-misc.adb
src/gnatcoll-bindings/gmp/gnatcoll-gmp-integers-misc.ads
src/gnatcoll-bindings/gmp/gnatcoll-gmp-integers-number_theoretic.adb
src/gnatcoll-bindings/gmp/gnatcoll-gmp-integers-number_theoretic.ads
src/gnatcoll-bindings/gmp/gnatcoll-gmp-integers-random.adb
src/gnatcoll-bindings/gmp/gnatcoll-gmp-integers-random.ads
src/gnatcoll-bindings/gmp/gnatcoll-gmp-integers-root_extraction.adb
src/gnatcoll-bindings/gmp/gnatcoll-gmp-integers-root_extraction.ads
src/gnatcoll-bindings/gmp/gnatcoll-gmp-integers.adb
src/gnatcoll-bindings/gmp/gnatcoll-gmp-integers.ads
src/gnatcoll-bindings/gmp/gnatcoll-gmp-lib.ads
src/gnatcoll-bindings/gmp/gnatcoll-gmp-mpz_even_p.c
src/gnatcoll-bindings/gmp/gnatcoll-gmp-mpz_odd_p.c
src/gnatcoll-bindings/gmp/gnatcoll-gmp-mpz_sign.c
src/gnatcoll-bindings/gmp/gnatcoll-gmp-random_state.adb
src/gnatcoll-bindings/gmp/gnatcoll-gmp-random_state.ads
src/gnatcoll-bindings/gmp/gnatcoll-gmp.ads
src/gnatcoll-bindings/gmp/gnatcoll_gmp.gpr
src/gnatcoll-bindings/gmp/examples/gmp_examples.gpr
src/gnatcoll-bindings/gmp/examples/isprime.adb
src/gnatcoll-bindings/gmp/examples/square_triangular_numbers.adb
src/gnatcoll-bindings/iconv/gnatcoll-iconv.adb
src/gnatcoll-bindings/iconv/gnatcoll-iconv.ads
src/gnatcoll-bindings/iconv/gnatcoll_iconv.gpr
src/gnatcoll-bindings/iconv/iconv_support.c
src/langkit/langkit/support/langkit_support-adalog-debug.adb
src/langkit/langkit/support/langkit_support-adalog-debug.ads
src/langkit/langkit/support/langkit_support-adalog-generic_main_support.adb
src/langkit/langkit/support/langkit_support-adalog-generic_main_support.ads
src/langkit/langkit/support/langkit_support-adalog-logic_var.adb
src/langkit/langkit/support/langkit_support-adalog-logic_var.ads
src/langkit/langkit/support/langkit_support-adalog-main_support.ads
src/langkit/langkit/support/langkit_support-adalog-solver.adb
src/langkit/langkit/support/langkit_support-adalog-solver.ads
src/langkit/langkit/support/langkit_support-adalog-solver_interface.adb
src/langkit/langkit/support/langkit_support-adalog-solver_interface.ads
src/langkit/langkit/support/langkit_support-adalog.ads
src/langkit/langkit/support/langkit_support-array_utils.adb
src/langkit/langkit/support/langkit_support-array_utils.ads
src/langkit/langkit/support/langkit_support-boxes.adb
src/langkit/langkit/support/langkit_support-boxes.ads
src/langkit/langkit/support/langkit_support-bump_ptr.ads
src/langkit/langkit/support/langkit_support-bump_ptr_vectors.adb
src/langkit/langkit/support/langkit_support-bump_ptr_vectors.ads
src/langkit/langkit/support/langkit_support-cheap_sets.adb
src/langkit/langkit/support/langkit_support-cheap_sets.ads
src/langkit/langkit/support/langkit_support-diagnostics-output.adb
src/langkit/langkit/support/langkit_support-diagnostics-output.ads
src/langkit/langkit/support/langkit_support-diagnostics.adb
src/langkit/langkit/support/langkit_support-diagnostics.ads
src/langkit/langkit/support/langkit_support-errors.ads
src/langkit/langkit/support/langkit_support-file_readers.adb
src/langkit/langkit/support/langkit_support-file_readers.ads
src/langkit/langkit/support/langkit_support-generic_api-analysis.adb
src/langkit/langkit/support/langkit_support-generic_api-analysis.ads
src/langkit/langkit/support/langkit_support-generic_api-introspection.adb
src/langkit/langkit/support/langkit_support-generic_api-introspection.ads
src/langkit/langkit/support/langkit_support-generic_api.adb
src/langkit/langkit/support/langkit_support-generic_api.ads
src/langkit/langkit/support/langkit_support-generic_bump_ptr.adb
src/langkit/langkit/support/langkit_support-generic_bump_ptr.ads
src/langkit/langkit/support/langkit_support-hashes.adb
src/langkit/langkit/support/langkit_support-hashes.ads
src/langkit/langkit/support/langkit_support-images.adb
src/langkit/langkit/support/langkit_support-images.ads
src/langkit/langkit/support/langkit_support-internal-analysis.adb
src/langkit/langkit/support/langkit_support-internal-analysis.ads
src/langkit/langkit/support/langkit_support-internal-conversions.ads
src/langkit/langkit/support/langkit_support-internal-descriptor.ads
src/langkit/langkit/support/langkit_support-internal-introspection.adb
src/langkit/langkit/support/langkit_support-internal-introspection.ads
src/langkit/langkit/support/langkit_support-internal.ads
src/langkit/langkit/support/langkit_support-iterators.adb
src/langkit/langkit/support/langkit_support-iterators.ads
src/langkit/langkit/support/langkit_support-lexical_envs.ads
src/langkit/langkit/support/langkit_support-lexical_envs_impl.adb
src/langkit/langkit/support/langkit_support-lexical_envs_impl.ads
src/langkit/langkit/support/langkit_support-names-maps.adb
src/langkit/langkit/support/langkit_support-names-maps.ads
src/langkit/langkit/support/langkit_support-names.adb
src/langkit/langkit/support/langkit_support-names.ads
src/langkit/langkit/support/langkit_support-packrat.adb
src/langkit/langkit/support/langkit_support-packrat.ads
src/langkit/langkit/support/langkit_support-relative_get.adb
src/langkit/langkit/support/langkit_support-relative_get.ads
src/langkit/langkit/support/langkit_support-slocs.adb
src/langkit/langkit/support/langkit_support-slocs.ads
src/langkit/langkit/support/langkit_support-symbols-precomputed.adb
src/langkit/langkit/support/langkit_support-symbols-precomputed.ads
src/langkit/langkit/support/langkit_support-symbols.adb
src/langkit/langkit/support/langkit_support-symbols.ads
src/langkit/langkit/support/langkit_support-text.adb
src/langkit/langkit/support/langkit_support-text.ads
src/langkit/langkit/support/langkit_support-token_data_handlers.adb
src/langkit/langkit/support/langkit_support-token_data_handlers.ads
src/langkit/langkit/support/langkit_support-tree_traversal_iterator.adb
src/langkit/langkit/support/langkit_support-tree_traversal_iterator.ads
src/langkit/langkit/support/langkit_support-types.ads
src/langkit/langkit/support/langkit_support-vectors.adb
src/langkit/langkit/support/langkit_support-vectors.ads
src/langkit/langkit/support/langkit_support.ads
src/langkit/langkit/support/langkit_support.gpr
src/python/setup.py
src/python/librflxlang/__init__.py
src/python/librflxlang/py.typed
src/src/librflxlang-analysis.adb
src/src/librflxlang-analysis.ads
src/src/librflxlang-c.adb
src/src/librflxlang-c.ads
src/src/librflxlang-common.adb
src/src/librflxlang-common.ads
src/src/librflxlang-debug.adb
src/src/librflxlang-debug.ads
src/src/librflxlang-generic_api-introspection.ads
src/src/librflxlang-generic_api.adb
src/src/librflxlang-generic_api.ads
src/src/librflxlang-generic_impl.adb
src/src/librflxlang-generic_impl.ads
src/src/librflxlang-generic_introspection.adb
src/src/librflxlang-generic_introspection.ads
src/src/librflxlang-implementation-c.adb
src/src/librflxlang-implementation-c.ads
src/src/librflxlang-implementation.adb
src/src/librflxlang-implementation.ads
src/src/librflxlang-introspection.adb
src/src/librflxlang-introspection.ads
src/src/librflxlang-introspection_implementation.adb
src/src/librflxlang-introspection_implementation.ads
src/src/librflxlang-iterators.adb
src/src/librflxlang-iterators.ads
src/src/librflxlang-lexer.adb
src/src/librflxlang-lexer.ads
src/src/librflxlang-lexer_implementation.adb
src/src/librflxlang-lexer_implementation.ads
src/src/librflxlang-lexer_state_machine.adb
src/src/librflxlang-lexer_state_machine.ads
src/src/librflxlang-parsers.adb
src/src/librflxlang-parsers.ads
src/src/librflxlang-private_converters.ads
src/src/librflxlang-public_converters.adb
src/src/librflxlang-public_converters.ads
src/src/librflxlang.ads